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

   1 // ignore-compare-mode-chalk
   2
   3 trait Bug {
   4     type Item: Bug;
   5
   6     const FUN: fn() -> Self::Item;
   7 }
   8
   9 impl Bug for &() {
  10     type Item = impl Bug; //~ ERROR `impl Trait` in type aliases is unstable
  11     //~^ ERROR the trait bound `(): Bug` is not satisfied
  12     //~^^ ERROR the trait bound `(): Bug` is not satisfied
  13
  14     const FUN: fn() -> Self::Item = || ();
  15     //~^ ERROR type alias impl trait is not permitted here
  16 }
  17
  18 fn main() {}