mirror of https://github.com/rust-lang/rust
67 lines
2.2 KiB
Plaintext
67 lines
2.2 KiB
Plaintext
error[E0792]: non-defining opaque type use in defining scope
|
|
--> $DIR/generic_nondefining_use.rs:15:21
|
|
|
|
|
LL | fn concrete_ty() -> OneTy<u32> {
|
|
| ^^^^^^^^^^ argument `u32` is not a generic parameter
|
|
|
|
|
note: for this opaque type
|
|
--> $DIR/generic_nondefining_use.rs:7:17
|
|
|
|
|
LL | type OneTy<T> = impl Debug;
|
|
| ^^^^^^^^^^
|
|
|
|
error[E0792]: expected generic type parameter, found `u32`
|
|
--> $DIR/generic_nondefining_use.rs:17:5
|
|
|
|
|
LL | type OneTy<T> = impl Debug;
|
|
| - this generic parameter must be used with a generic type parameter
|
|
...
|
|
LL | 5u32
|
|
| ^^^^
|
|
|
|
error[E0792]: non-defining opaque type use in defining scope
|
|
--> $DIR/generic_nondefining_use.rs:21:27
|
|
|
|
|
LL | fn concrete_lifetime() -> OneLifetime<'static> {
|
|
| ^^^^^^^^^^^^^^^^^^^^ argument `'static` is not a generic parameter
|
|
|
|
|
note: for this opaque type
|
|
--> $DIR/generic_nondefining_use.rs:9:24
|
|
|
|
|
LL | type OneLifetime<'a> = impl Debug;
|
|
| ^^^^^^^^^^
|
|
|
|
error[E0792]: non-defining opaque type use in defining scope
|
|
--> $DIR/generic_nondefining_use.rs:27:24
|
|
|
|
|
LL | fn concrete_const() -> OneConst<{ 123 }> {
|
|
| ^^^^^^^^^^^^^^^^^ argument `123` is not a generic parameter
|
|
|
|
|
note: for this opaque type
|
|
--> $DIR/generic_nondefining_use.rs:11:33
|
|
|
|
|
LL | type OneConst<const X: usize> = impl Debug;
|
|
| ^^^^^^^^^^
|
|
|
|
error[E0792]: expected generic lifetime parameter, found `'static`
|
|
--> $DIR/generic_nondefining_use.rs:23:5
|
|
|
|
|
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 | 6u32
|
|
| ^^^^
|
|
|
|
error[E0792]: expected generic constant parameter, found `123`
|
|
--> $DIR/generic_nondefining_use.rs:29:5
|
|
|
|
|
LL | type OneConst<const X: usize> = impl Debug;
|
|
| -------------- this generic parameter must be used with a generic constant parameter
|
|
...
|
|
LL | 7u32
|
|
| ^^^^
|
|
|
|
error: aborting due to 6 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0792`.
|