src/test/ui/inference/need_type_info/issue-103053.rs


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

trait TypeMapper {
    type MapType;
}

type Mapped<T> = <T as TypeMapper>::MapType;

struct Test {}

impl TypeMapper for () {
    type MapType = Test;
}

fn test() {
    Mapped::<()> {};
    None; //~ ERROR type annotations needed
}

fn main() {}