]>
Commit | Line | Data |
---|---|---|
ba9703b0 | 1 | error: non-defining opaque type use in defining scope |
6a06907d | 2 | --> $DIR/generic_nondefining_use.rs:17:21 |
48663c56 | 3 | | |
ba9703b0 XL |
4 | LL | fn concrete_ty() -> OneTy<u32> { |
5 | | ^^^^^^^^^^ | |
6 | | | |
7 | note: used non-generic type `u32` for generic parameter | |
6a06907d | 8 | --> $DIR/generic_nondefining_use.rs:11:12 |
ba9703b0 XL |
9 | | |
10 | LL | type OneTy<T> = impl Debug; | |
11 | | ^ | |
48663c56 | 12 | |
ba9703b0 | 13 | error: non-defining opaque type use in defining scope |
6a06907d | 14 | --> $DIR/generic_nondefining_use.rs:22:27 |
8faf50e0 | 15 | | |
ba9703b0 XL |
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 | |
18 | ... | |
19 | LL | fn concrete_lifetime() -> OneLifetime<'static> { | |
20 | | ^^^^^^^^^^^^^^^^^^^^ | |
9fa01778 | 21 | |
ba9703b0 | 22 | error: non-defining opaque type use in defining scope |
6a06907d | 23 | --> $DIR/generic_nondefining_use.rs:27:24 |
ba9703b0 XL |
24 | | |
25 | LL | fn concrete_const() -> OneConst<{123}> { | |
26 | | ^^^^^^^^^^^^^^^ | |
27 | | | |
f9f354fc | 28 | note: used non-generic constant `{123}` for generic parameter |
6a06907d | 29 | --> $DIR/generic_nondefining_use.rs:13:21 |
8faf50e0 | 30 | | |
ba9703b0 XL |
31 | LL | type OneConst<const X: usize> = impl Debug; |
32 | | ^ | |
8faf50e0 | 33 | |
48663c56 | 34 | error: aborting due to 3 previous errors |
8faf50e0 | 35 |