| //@ dont-require-annotations: NOTE | |
| fn foo<T, U>(x: T, y: U) { | |
| let mut xx = x; | |
| xx = y; | |
| //~^ ERROR mismatched types | |
| //~| NOTE expected type parameter `T`, found type parameter `U` | |
| //~| NOTE expected type parameter `T` | |
| //~| NOTE found type parameter `U` | |
| } | |
| fn main() { | |
| } |