language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 14:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

prevent frequent expectation cloning

Browse source
This commit is contained in:
Folkert 2022-03-05 21:29:17 +01:00
parent dc8a077fff
commit 6392e42166
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 10 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

13
compiler/constrain/src/expr.rs
View file

@ -1363,7 +1363,7 @@ fn constrain_def(
def_pattern_state.constraints.push(constraints.equal_types(
expr_type,
annotation_expected.clone(),
annotation_expected,
Category::Storage(std::file!(), std::line!()),
Region::span_across(&annotation.region, &def.loc_expr.region),
));
@ -1528,14 +1528,21 @@ fn constrain_def(
}
_ => {
let expected = annotation_expected;
let annotation_expected = FromAnnotation(
def.loc_pattern.clone(),
arity,
AnnotationSource::TypedBody {
region: annotation.region,
},
signature.clone(),
);
let ret_constraint = constrain_expr(
constraints,
env,
def.loc_expr.region,
&def.loc_expr.value,
expected,
annotation_expected,
);
let cons = [