| // RFC 401 test extracted into distinct file. This is because some the | |
| // change to suppress "derived" errors wound up suppressing this error | |
| // message, since the fallback for `3` doesn't occur. | |
| fn main() { | |
| let _ = 3 as bool; | |
| //~^ ERROR cannot cast `i32` as `bool` | |
| } |