2 #![allow(unused_variables)]
3 // Test that `<Type as Trait>::Output` and `Self::Output` are accepted as type annotations in let
6 // pretty-expanded FIXME #23616
10 fn leading_zeros(self) -> usize;
17 let r: <Self as Foo>::T = Int::one();
18 let r: Self::T = Int::one();