This commit is contained in:
Anton-4 2022-11-09 20:48:18 +01:00
parent 38ea090c3e
commit f20577d9fb
No known key found for this signature in database
GPG key ID: A13F4A6E21141925

View file

@ -2360,8 +2360,7 @@ impl<'a> Stmt<'a> {
matches!(
self,
Switch { .. } | Ret(_) | Jump(_, _)
// TODO for Switch; is this the reason Lean only looks at the outermost `when`?
Switch { .. } | Ret(_) | Jump(_, _) // TODO for Switch; is this the reason Lean only looks at the outermost `when`?
)
}