store `exposed_ident_ids in the scope itself

This commit is contained in:
Folkert 2022-04-28 20:30:02 +02:00
parent 5a613db7b6
commit fb9d60226d
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
9 changed files with 54 additions and 151 deletions

View file

@ -685,7 +685,8 @@ pub fn constrain_expr(
.clone()
.intersection(new_pattern_headers.clone())
.is_empty(),
"Two patterns introduce the same symbols - that's a bug!"
"Two patterns introduce the same symbols - that's a bug!\n{:?}",
pattern_headers.clone().intersection(new_pattern_headers)
);
pattern_headers.extend(new_pattern_headers);
pattern_cons.push(pattern_con);