blob: fbd1885f543fecf3f965d3ae0569fa505467986e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// Test that we print out the names of type parameters correctly in
// our error messages.
//@ dont-require-annotations: NOTE
fn foo<Foo, Bar>(x: Foo) -> Bar {
x
//~^ ERROR mismatched types
//~| NOTE expected type parameter `Bar`, found type parameter `Foo`
//~| NOTE expected type parameter `Bar`
//~| NOTE found type parameter `Foo`
}
fn main() {}
|
