2 #![allow(unused_variables)]
3 // Test that we normalize associated types that appear in a bound that
4 // contains a binding. Issue #21664.
6 // pretty-expanded FIXME #23616
14 impl Integral for i32 {
18 impl Integral for u32 {
25 fn dummy(&self, a: A) -> Self::R { loop { } }
29 where T : FnLike<<i32 as Integral>::Opposite, R=bool>
35 where T : FnLike<u32, R=bool>