| // revisions:verbose normal | |
| // [verbose]compile-flags:--verbose | |
| #![crate_type = "lib"] | |
| struct Foo<T, U> { x: T, y: U } | |
| fn bar() { | |
| let _: Foo<u32, i32> = Foo::<i32, i32> { x: 0, y: 0 }; | |
| //~^ ERROR mismatched types | |
| //[verbose]~| NOTE expected struct `Foo<u32, i32>` | |
| //[normal]~| NOTE expected struct `Foo<u32, _>` | |
| //~| NOTE expected `Foo<u32, i32>` | |
| //~| NOTE expected due to this | |
| } |