src/test/ui/impl-trait/in-trait/issue-102301.rs

   1 // check-pass
   2
   3 #![feature(return_position_impl_trait_in_trait)]
   4 #![allow(incomplete_features)]
   5
   6 trait Foo<T> {
   7     fn foo<F2: Foo<T>>(self) -> impl Foo<T>;
   8 }
   9
  10 struct Bar;
  11
  12 impl Foo<u8> for Bar {
  13     fn foo<F2: Foo<u8>>(self) -> impl Foo<u8> {
  14         self
  15     }
  16 }
  17
  18 fn main() {}