language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Do not clone annotation type

Browse source
This commit is contained in:
Ayaz Hafiz 2022-11-09 09:31:32 -06:00
parent cf1982733e
commit 764cc4d1d8
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 1 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/compiler/constrain/src/expr.rs
View file

@ -2679,11 +2679,7 @@ fn constrain_typed_function_arguments(
let it = arguments.iter().zip(arg_types.into_iter()).enumerate();
for (index, ((pattern_var, annotated_mark, loc_pattern), ann)) in it {
let pattern_var_index = constraints.push_variable(*pattern_var);
let ann_index = {
// TODO(types-soa) remove clone
let typ = types.clone_with_variable_substitutions(ann, &Default::default());
constraints.push_type(types, typ)
};
let ann_index = constraints.push_type(types, ann);
if loc_pattern.value.surely_exhaustive() {
// OPT: we don't need to perform any type-level exhaustiveness checking.