src/test/ui/generic-associated-types/issue-87750.rs

   1 trait PointerFamily {
   2     type Pointer<T>;
   3 }
   4
   5 struct Rc<T>(Box<T>);
   6 struct RcFamily;
   7
   8 impl PointerFamily for RcFamily {
   9     type Pointer<T> = Rc<T>;
  10 }
  11
  12 #[allow(dead_code)]
  13 enum Node<T, P: PointerFamily> where P::Pointer<Node<T, P>>: Sized {
  14     Cons(P::Pointer<Node<T, P>>),
  15 }
  16
  17 fn main() {
  18     let _list: <RcFamily as PointerFamily>::Pointer<Node<i32, RcFamily>>;
  19     //~^ ERROR overflow evaluating the requirement `Node<i32, RcFamily>: Sized`
  20 }