rust 1.64 + clippy

This commit is contained in:
Anton-4 2022-11-09 19:35:09 +01:00
parent 5d43d732cd
commit 38ea090c3e
No known key found for this signature in database
GPG key ID: A13F4A6E21141925
3 changed files with 37 additions and 24 deletions

View file

@ -2358,15 +2358,11 @@ impl<'a> Stmt<'a> {
pub fn is_terminal(&self) -> bool {
use Stmt::*;
match self {
Switch { .. } => {
// TODO is this the reason Lean only looks at the outermost `when`?
true
}
Ret(_) => true,
Jump(_, _) => true,
_ => false,
}
matches!(
self,
Switch { .. } | Ret(_) | Jump(_, _)
// TODO for Switch; is this the reason Lean only looks at the outermost `when`?
)
}
pub fn if_then_else(