1 2 3 4 5 6 7 8 9 10 11 12 13 14
// check-pass pub trait Foo { fn foo(self) -> u32; } impl<T> Foo for T { fn foo(self) -> u32 { fn bar<T>() { loop {} } bar::<T> as u32 } } fn main() {}