Remove redundant signature index

This commit is contained in:
Ayaz Hafiz 2022-11-15 09:32:14 -06:00
parent 0920fb4227
commit 60178f14e4
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -1815,7 +1815,6 @@ fn constrain_function_def(
signature_closure_type_index,
))
};
let signature_index = constraints.push_type(types, signature);
let cons = [
constraints.let_constraint(
[],