1 error: non-defining opaque type use in defining scope
2 --> $DIR/generic_nondefining_use.rs:17:5
7 note: used non-generic type `u32` for generic parameter
8 --> $DIR/generic_nondefining_use.rs:7:12
10 LL | type OneTy<T> = impl Debug;
13 error: non-defining opaque type use in defining scope
14 --> $DIR/generic_nondefining_use.rs:22:5
16 LL | type OneLifetime<'a> = impl Debug;
17 | -- cannot use static lifetime; use a bound lifetime instead or remove the lifetime parameter from the opaque type
22 error: non-defining opaque type use in defining scope
23 --> $DIR/generic_nondefining_use.rs:27:5
28 note: used non-generic constant `123` for generic parameter
29 --> $DIR/generic_nondefining_use.rs:11:15
31 LL | type OneConst<const X: usize> = impl Debug;
34 error: aborting due to 3 previous errors