This commit is contained in:
Folkert 2021-09-24 21:58:25 +02:00
parent 23e8f6c687
commit 72194b87df

View file

@ -1467,7 +1467,7 @@ fn instantiate_rigids(
) { ) {
for (symbol, loc_type) in new_headers { for (symbol, loc_type) in new_headers {
for var in loc_type.value.variables() { for var in loc_type.value.variables() {
// a rigid is only new if this annotation is the first occurence of this rigid // a rigid is only new if this annotation is the first occurrence of this rigid
if !outside_rigids.contains(&var) { if !outside_rigids.contains(&var) {
new_rigids.push(var); new_rigids.push(var);
} }