about summary refs log tree commit diff
path: root/tests/ui/type/type-mismatch-multiple.rs
blob: faae52cad233d1f0c50a7978dcddfe4d0788d983 (plain)
1
2
3
4
5
6
7
8
9
// Checking that the compiler reports multiple type errors at once

//@ dont-require-annotations: NOTE

fn main() { let a: bool = 1; let b: i32 = true; }
//~^ ERROR mismatched types
//~| NOTE expected `bool`, found integer
//~| ERROR mismatched types
//~| NOTE expected `i32`, found `bool`