src/test/ui/inference/need_type_info/type-alias-indirect.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// An addition to the `type-alias.rs` test,
// see the FIXME in that file for why this test
// exists.
//
// If there is none, feel free to remove this test
// again.
struct Ty<T>(T);
impl<T> Ty<T> {
    fn new() {}
}

type IndirectAlias<T> = Ty<Box<T>>;
fn indirect_alias() {
    IndirectAlias::new();
    //~^ ERROR type annotations needed
}

fn main() {}