2 #![allow(unused_variables)]
3 // Test that we correctly handle projection bounds appearing in the
4 // supertrait list (and in conjunction with overloaded operators). In
5 // this case, the `Result=Self` binding in the supertrait listing of
6 // `Int` was being ignored.
11 fn not(self) -> Self::Result;
14 trait Int: Not<Result=Self> + Sized {
15 fn count_ones(self) -> usize;
16 fn count_zeros(self) -> usize {
18 let x: Self = self.not();