Replace busted gen test with reporting test

This commit is contained in:
Ayaz Hafiz 2022-11-09 11:01:10 -06:00
parent ae6f349669
commit bd9c9cc184
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 37 additions and 27 deletions

View file

@ -3796,14 +3796,7 @@ fn rec_defs_help(
let mut vars = Vec::with_capacity(state.vars.capacity() + 1);
let ret_var = *ret_var;
let closure_var = *closure_var;
let ret_type_index = {
let typ = types
.clone_with_variable_substitutions(ret_type, &Default::default());
constraints.push_type(
types, // TODO(types-soa) remove clone
typ,
)
};
let ret_type_index = constraints.push_type(types, ret_type);
vars.push(ret_var);
vars.push(closure_var);