1 2 3 4 5 6 7 8 9 10 11 12 13 14
//@ known-bug: #124189 trait Trait { type Type; } impl<T> Trait for T { type Type = (); } fn f(_: <&Copy as Trait>::Type) {} fn main() { f(()); }