Weaken single quotes

This commit is contained in:
Ayaz Hafiz 2023-01-11 17:04:36 -06:00
parent b2cdddbdfb
commit a2f04d1fa3
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -3828,9 +3828,9 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
OpaqueRef { argument, .. } => expr = &argument.1.value,
| Str(_)
| List { .. }
| SingleQuote(_, _, _, _)
=> return false,
// TODO(weakening)
| SingleQuote(_, _, _, _)
| Var(_, _)
| AbilityMember(_, _, _)
| When { .. }