tests/ui/traits/issue-82830.rs

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