3 #![allow(unused_variables)]
4 // Test a where clause that uses a non-normalized projection type.
6 // pretty-expanded FIXME #23616
17 fn non_zero(self) -> bool;
20 fn foo<I:Int<T=J>,J>(t: I) -> bool
21 where <I as Int>::T : NonZero
22 // ^~~~~~~~~~~~~ canonical form is just J
27 fn bar<NZ:NonZero>() -> bool { true }