tests/ui/type-alias-impl-trait/issue-69136-inner-lifetime-resolve-ok.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

// Test-pass variant of #69136

//@ check-pass

#![feature(type_alias_impl_trait)]

trait SomeTrait {}

impl SomeTrait for () {}

trait WithAssoc {
    type AssocType;
}

impl WithAssoc for () {
    type AssocType = ();
}

type Return<'a> = impl WithAssoc<AssocType = impl Sized + 'a>;

#[define_opaque(Return)]
fn my_fun<'a>() -> Return<'a> {}

fn main() {}