Weaken expect/dbg behind let bindings

This commit is contained in:
Ayaz Hafiz 2023-01-12 10:53:53 -06:00 committed by Folkert
parent 354765afca
commit 20b4f290ce
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -3845,6 +3845,9 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| Crash { .. }
| Access { .. }
| Update { .. }
| Expect { .. }
| ExpectFx { .. }
| Dbg { .. }
=> {
return false
}
@ -3853,9 +3856,6 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| AbilityMember(_, _, _)
| Tag { .. }
| ZeroArgumentTag { .. }
| Expect { .. }
| ExpectFx { .. }
| Dbg { .. }
| TypedHole(_)
| RuntimeError(_) => return true,
}