This commit is contained in:
Folkert 2022-05-15 16:48:50 +02:00
parent 36b41322f5
commit 14638aff35
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
5 changed files with 4 additions and 6 deletions

View file

@ -1411,7 +1411,9 @@ fn constrain_destructure_def(
let destructure_def = &declarations.destructs[destructure_def_index.index()];
let loc_pattern = &destructure_def.loc_pattern;
let pattern_vars = &destructure_def.pattern_vars;
// TODO what is this for?
// let pattern_vars = &destructure_def.pattern_vars;
let mut def_pattern_state =
constrain_def_pattern(constraints, env, loc_pattern, Type::Variable(expr_var));