Eliminate clone of signature

This commit is contained in:
Ayaz Hafiz 2022-11-09 09:29:32 -06:00
parent 75ad2ffede
commit 16f622b0df
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -2480,11 +2480,7 @@ fn constrain_typed_def(
rigids: ftv,
};
let signature_index = {
// TODO(types-soa) get rid of 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 = constraints.push_expected_type(FromAnnotation(
def.loc_pattern.clone(),