error: non-defining opaque type use in defining scope
  --> $DIR/generic_nondefining_use.rs:14:21
   |
LL | fn concrete_ty() -> OneTy<u32> {
   |                     ^^^^^^^^^^
   |
note: used non-generic type `u32` for generic parameter
  --> $DIR/generic_nondefining_use.rs:8:12
   |
LL | type OneTy<T> = impl Debug;
   |            ^

error: non-defining opaque type use in defining scope
  --> $DIR/generic_nondefining_use.rs:19:27
   |
LL | type OneLifetime<'a> = impl Debug;
   |                  -- cannot use static lifetime; use a bound lifetime instead or remove the lifetime parameter from the opaque type
...
LL | fn concrete_lifetime() -> OneLifetime<'static> {
   |                           ^^^^^^^^^^^^^^^^^^^^

error: non-defining opaque type use in defining scope
  --> $DIR/generic_nondefining_use.rs:24:24
   |
LL | fn concrete_const() -> OneConst<{123}> {
   |                        ^^^^^^^^^^^^^^^
   |
note: used non-generic constant `123usize` for generic parameter
  --> $DIR/generic_nondefining_use.rs:10:21
   |
LL | type OneConst<const X: usize> = impl Debug;
   |                     ^

error: aborting due to 3 previous errors