7 let v : Vec<(u32,_) = vec![];
8 //~^ ERROR: expected one of
9 //~| ERROR: type annotations needed
12 fn test2<T1, T2>(arg1 : T1, arg2 : T2) {
13 let foo : Foo::<T1, T2 = Foo {_a : arg1, _b : arg2};
14 //~^ ERROR: expected one of
17 fn test3<'a>(arg : &'a u32) {
18 let v : Vec<'a = vec![];
19 //~^ ERROR: expected one of
20 //~| ERROR: type annotations needed for `Vec<T>`