// option. This file may not be copied, modified, or distributed
// except according to those terms.
-
-#![feature(tool_lints)]
-
#![deny(clippy::panicking_unwrap, clippy::unnecessary_unwrap)]
#![allow(clippy::if_same_then_else)]
if x.is_ok() {
x = Err(());
x.unwrap(); // not unnecessary because of mutation of x
- // it will always panic but the lint is not smart enough to see this (it only checks if conditions).
+ // it will always panic but the lint is not smart enough to see this (it only checks if conditions).
} else {
x = Ok(());
x.unwrap_err(); // not unnecessary because of mutation of x
- // it will always panic but the lint is not smart enough to see this (it only checks if conditions).
+ // it will always panic but the lint is not smart enough to see this (it only checks if conditions).
}
}