src/test/ui/traits/issue-82830.rs

   1 trait A<Y, N> {
   2     type B;
   3 }
   4
   5 type MaybeBox<T> = <T as A<T, Box<T>>>::B;
   6 struct P {
   7     t: MaybeBox<P>, //~ ERROR: overflow evaluating the requirement `P: Sized`
   8 }
   9
  10 impl<Y, N> A<Y, N> for P {
  11     type B = N;
  12 }
  13
  14 fn main() {
  15     let t: MaybeBox<P>;
  16 }