Weaken runtime errors

This commit is contained in:
Ayaz Hafiz 2023-01-12 10:54:34 -06:00 committed by Folkert
parent e525726be6
commit df90baa0fc
No known key found for this signature in database
GPG Key ID: 1F17F6FFD112B97C

View File

@ -3849,6 +3849,7 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| ExpectFx { .. }
| Dbg { .. }
| TypedHole(_)
| RuntimeError(_)
=> {
return false
}
@ -3857,7 +3858,7 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| AbilityMember(_, _, _)
| Tag { .. }
| ZeroArgumentTag { .. }
| RuntimeError(_) => return true,
=> return true,
}
}
}