src/test/ui/generic-associated-types/variance_constraints.rs

   1 // check-pass
   2 // issue #69184
   3 #![feature(generic_associated_types)]
   4 #![allow(incomplete_features)]
   5
   6 trait A {
   7     type B<'a>;
   8
   9     fn make_b<'a>(&'a self) -> Self::B<'a>;
  10 }
  11
  12 struct S {}
  13 impl A for S {
  14     type B<'a> = &'a S;
  15     fn make_b<'a>(&'a self) -> &'a Self {
  16         self
  17     }
  18 }
  19
  20 enum E<'a> {
  21     S(<S as A>::B<'a>),
  22 }
  23
  24 fn main() {}