3 // Test that we are handle to correctly handle a projection type
4 // that appears in a supertrait bound. Issue #20559.
16 fn foo (&self, t : TB) -> String;
19 trait C<TC : A> : B<<TC as A>::TA> { }
32 // Both of these impls are required for successful compilation
35 fn foo (&self, t : i32) -> String
37 format!("First {}", t)
44 assert_eq!(y.foo(5), format!("First 5"));