src/test/ui/existential_types/issue-60371.rs

   1 trait Bug {
   2     type Item: Bug;
   3
   4     const FUN: fn() -> Self::Item;
   5 }
   6
   7 impl Bug for &() {
   8     existential type Item: Bug; //~ ERROR existential types are 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() {}