language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-24 06:55:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Address clippy

Browse source
This commit is contained in:
Ayaz Hafiz 2022-11-07 15:24:11 -06:00
parent b735188542
commit 191798cfd6
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 6 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

14
crates/compiler/solve/src/solve.rs
View file

@ -32,10 +32,9 @@ use roc_types::subs::{
OptVariable, Rank, RecordFields, Subs, SubsIndex, SubsSlice, UlsOfVar, UnionLabels,
UnionLambdas, UnionTags, Variable, VariableSubsSlice,
};
use roc_types::types::Type::{self, *};
use roc_types::types::{
gather_fields_unsorted_iter, AliasCommon, AliasKind, AliasShared, Category, OptAbleType,
OptAbleVar, Polarity, Reason, RecordField, TypeExtension, TypeTag, Types, Uls,
gather_fields_unsorted_iter, AliasKind, AliasShared, Category, OptAbleVar, Polarity, Reason,
RecordField, Type, TypeExtension, TypeTag, Types, Uls,
};
use roc_unify::unify::{
unify, unify_introduced_ability_specialization, Env as UEnv, Mode, Obligated,
@ -2695,7 +2694,6 @@ fn type_to_variable<'a>(
.zip(field_tys.into_iter())
{
let field_var = {
use roc_types::types::RecordField::*;
let t = helper!(field_type);
types[field_kind].replace(t)
};
@ -2829,7 +2827,7 @@ fn type_to_variable<'a>(
{
let copy_var = helper!(arg_type);
subs.variables[target_index] = copy_var;
if let Some(abilities) = &types[opt_ability] {
if types[opt_ability].is_some() {
let arg_region = types[arg_region];
bind_to_abilities.push((Loc::at(arg_region, copy_var), opt_ability));
}
@ -2927,7 +2925,7 @@ fn type_to_variable<'a>(
{
let copy_var = helper!(typ);
subs.variables[target_index] = copy_var;
if let Some(abilities) = &types[opt_abilities] {
if types[opt_abilities].is_some() {
let region = types[region];
bind_to_abilities.push((Loc::at(region, copy_var), opt_abilities));
}
@ -2971,10 +2969,10 @@ fn type_to_variable<'a>(
} => {
let AliasShared {
symbol,
type_argument_abilities,
type_argument_abilities: _,
type_argument_regions: _,
lambda_set_variables,
infer_ext_in_output_variables,
infer_ext_in_output_variables: _, // TODO
} = types[shared];
let type_arguments = types.get_type_arguments(typ);