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
  13     const FUN: fn() -> Self::Item = || ();
  14     //~^ ERROR type alias impl trait is not permitted here
  15 }
  16
  17 fn main() {}