1 2 3 4 5 6 7 8 9 10 11 12 13 14
// check-pass trait Zoo { type X; } impl Zoo for u16 { type X = usize; } fn foo(abc: <u16 as Zoo>::X) {} fn main() { let x: *const u8 = foo as _; }