Do not clone signature

This commit is contained in:
Ayaz Hafiz 2022-11-09 10:29:14 -06:00
parent 410413aa96
commit de17bab87c
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -3529,12 +3529,7 @@ pub fn rec_defs_help_simple(
hybrid_and_flex_info.vars.extend(new_infer_variables);
let signature_index = {
// TODO(types-soa) remove clone
let typ = types
.clone_with_variable_substitutions(signature, &Default::default());
constraints.push_type(types, typ)
};
let signature_index = constraints.push_type(types, signature);
let annotation_expected = FromAnnotation(
loc_pattern.clone(),