Get rid of another clone

This commit is contained in:
Ayaz Hafiz 2022-10-24 14:29:05 -05:00
parent 0b8ac07287
commit 83e35fa40d
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58

View File

@ -1632,7 +1632,7 @@ fn constrain_function_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 = *signature_closure_type.clone(); let signature_closure_type = *signature_closure_type.clone();
let signature_index = constraints.push_type(signature.clone()); let signature_index = constraints.push_type(signature);
let cons = [ let cons = [
constraints.let_constraint( constraints.let_constraint(
[], [],