roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-11-11 16:51:53 +03:00
Code Issues Packages Projects Releases Wiki Activity

Do not clone signature closure type

Browse Source
This commit is contained in:
Ayaz Hafiz 2022-11-09 09:31:09 -06:00
parent 1ab8742d71
commit cf1982733e
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
crates/compiler/constrain/src/expr.rs
View File

@ -2584,14 +2584,8 @@ fn constrain_typed_def(
let defs_constraint = constraints.and_constraint(argument_pattern_state.constraints); let defs_constraint = constraints.and_constraint(argument_pattern_state.constraints);
let signature_closure_type = { let signature_closure_type = {
let signature_closure_type_index = { let signature_closure_type_index =
// TODO(types-soa) get rid of clone constraints.push_type(types, signature_closure_type);
let typ = types.clone_with_variable_substitutions(
signature_closure_type,
&Default::default(),
);
constraints.push_type(types, typ)
};
constraints.push_expected_type(Expected::FromAnnotation( constraints.push_expected_type(Expected::FromAnnotation(
def.loc_pattern.clone(), def.loc_pattern.clone(),
arity, arity,