src/test/rustdoc/issue-102154.rs

   1 trait A<Y, N> {
   2     type B;
   3 }
   4 type MaybeBox<T> = <T as A<T, Box<T>>>::B;
   5 struct P {
   6     t: MaybeBox<P>
   7 }
   8 impl<Y, N> A<Y, N> for P {
   9     type B = N;
  10 }
  11 fn main() {
  12     let t: MaybeBox<P>;
  13 }