tests/ui/generic-associated-types/issue-81487.rs

   1 // build-pass
   2
   3 trait Trait {
   4     type Ref<'a>;
   5 }
   6
   7 impl Trait for () {
   8     type Ref<'a> = &'a i8;
   9 }
  10
  11 struct RefRef<'a, T: Trait>(&'a <T as Trait>::Ref<'a>);
  12
  13 fn wrap<'a, T: Trait>(reff: &'a <T as Trait>::Ref<'a>) -> RefRef<'a, T> {
  14     RefRef(reff)
  15 }
  16
  17 fn main() {}