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

   1 // Test-pass variant of #69136
   2
   3 // check-pass
   4
   5 #![feature(type_alias_impl_trait)]
   6
   7 trait SomeTrait {}
   8
   9 impl SomeTrait for () {}
  10
  11 trait WithAssoc {
  12     type AssocType;
  13 }
  14
  15 impl WithAssoc for () {
  16     type AssocType = ();
  17 }
  18
  19 type Return<'a> = impl WithAssoc<AssocType = impl Sized + 'a>;
  20
  21 fn my_fun<'a>() -> Return<'a> {}
  22
  23 fn main() {}