Weaken aliased variable names

This commit is contained in:
Ayaz Hafiz 2023-01-12 15:13:18 -06:00
parent c3f1646274
commit 58081ada19
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 6 additions and 7 deletions

View file

@ -3861,9 +3861,8 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| RuntimeError(..)
| ZeroArgumentTag { .. }
| Tag { .. }
| AbilityMember(_, _, _) => return false,
// TODO(weakening)
Var(_, _) => return true,
| AbilityMember(..)
| Var(..) => return false,
}
}
}