src/test/ui/type-alias-impl-trait/issue-57611-trait-alias.rs

   1 // Regression test for issue #57611
   2 // Ensures that we don't ICE
   3 // FIXME: This should compile, but it currently doesn't
   4
   5 #![feature(trait_alias)]
   6 #![feature(type_alias_impl_trait)]
   7
   8 trait Foo {
   9     type Bar: Baz<Self, Self>;
  10
  11     fn bar(&self) -> Self::Bar;
  12 }
  13
  14 struct X;
  15
  16 impl Foo for X {
  17     type Bar = impl Baz<Self, Self>;
  18
  19     fn bar(&self) -> Self::Bar {
  20         |x| x
  21         //~^ ERROR implementation of `FnOnce` is not general enough
  22     }
  23 }
  24
  25 trait Baz<A: ?Sized, B: ?Sized> = Fn(&A) -> &B;
  26
  27 fn main() {}