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

   1 trait Bug {
   2     type Item: Bug;
   3
   4     const FUN: fn() -> Self::Item;
   5 }
   6
   7 impl Bug for &() {
   8     type Item = impl Bug; //~ ERROR `impl Trait` in type aliases is unstable
   9     //~^ ERROR the trait bound `(): Bug` is not satisfied
  10     //~^^ ERROR could not find defining uses
  11
  12     const FUN: fn() -> Self::Item = || ();
  13 }
  14
  15 fn main() {}