src/test/ui/existential_types/generic_nondefining_use.stderr

   1 error: non-defining existential type use in defining scope
   2   --> $DIR/generic_nondefining_use.rs:8:1
   3    |
   4 LL | / fn cmp() -> Cmp<u32> { //~ ERROR non-defining existential type use in defining scope
   5 LL | |     5u32
   6 LL | | }
   7    | |_^
   8    |
   9 note: used non-generic type u32 for generic parameter
  10   --> $DIR/generic_nondefining_use.rs:5:22
  11    |
  12 LL | existential type Cmp<T>: 'static;
  13    |                      ^
  14
  15 error: aborting due to previous error
  16