blob: da95c1bfa2709e0742cd56263792bfd0b759bb31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
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<T>`
}
fn main() {}
|