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

   1 // check-pass
   2
   3 trait PointerFamily {
   4     type Pointer<T>;
   5 }
   6
   7 struct Rc<T>(Box<T>);
   8 struct RcFamily;
   9
  10 impl PointerFamily for RcFamily {
  11     type Pointer<T> = Rc<T>;
  12 }
  13
  14 #[allow(dead_code)]
  15 enum Node<T, P: PointerFamily>
  16 where
  17     P::Pointer<Node<T, P>>: Sized,
  18 {
  19     Cons(P::Pointer<Node<T, P>>),
  20 }
  21
  22 fn main() {
  23     let _list: <RcFamily as PointerFamily>::Pointer<Node<i32, RcFamily>>;
  24 }