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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// build-pass

#![feature(generic_associated_types)]

trait Trait {
    type Ref<'a>;
}

impl Trait for () {
    type Ref<'a> = &'a i8;
}

struct RefRef<'a, T: Trait>(&'a <T as Trait>::Ref<'a>);

fn wrap<'a, T: Trait>(reff: &'a <T as Trait>::Ref<'a>) -> RefRef<'a, T> {
    RefRef(reff)
}

fn main() {}