src/test/ui/impl-trait/issue-100187.rs

   1 // check-pass
   2
   3 trait Trait<T> {
   4     type Ty;
   5 }
   6 impl Trait<&u8> for () {
   7     type Ty = ();
   8 }
   9
  10 fn test<'a, 'b>() -> impl Trait<&'a u8, Ty = impl Sized + 'b> {}
  11
  12 fn main() {}