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() {}