| struct Foo<T1, T2> { | |
| _a : T1, | |
| _b : T2, | |
| } | |
| fn test1<T>(arg : T) { | |
| let v : Vec<(u32,_) = vec![]; | |
| //~^ ERROR: expected one of | |
| //~| ERROR: type annotations needed | |
| } | |
| fn test2<T1, T2>(arg1 : T1, arg2 : T2) { | |
| let foo : Foo::<T1, T2 = Foo {_a : arg1, _b : arg2}; | |
| //~^ ERROR: expected one of | |
| } | |
| fn test3<'a>(arg : &'a u32) { | |
| let v : Vec<'a = vec![]; | |
| //~^ ERROR: expected one of | |
| //~| ERROR: type annotations needed for `Vec<_>` | |
| } | |
| fn main() {} |