Do not clone signature

This commit is contained in:
Ayaz Hafiz 2022-11-09 10:31:45 -06:00
parent de17bab87c
commit 3897c46a7b
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

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