blob: e442c64e70ce1b46ecd819a8e76c6e60b94277e2 [file]
error[E0403]: the name `S` is already used for a generic parameter in this item's generic parameters
--> $DIR/issue-103790.rs:4:29
|
LL | struct S<const S: (), const S: S = { S }>;
| - ^ already used
| |
| first use of `S`
error[E0107]: missing generics for struct `S`
--> $DIR/issue-103790.rs:4:32
|
LL | struct S<const S: (), const S: S = { S }>;
| ^ expected at least 1 generic argument
|
note: struct defined here, with at least 1 generic parameter: `S`
--> $DIR/issue-103790.rs:4:8
|
LL | struct S<const S: (), const S: S = { S }>;
| ^ -----------
help: add missing generic argument
|
LL | struct S<const S: (), const S: S<S> = { S }>;
| +++
error[E0391]: cycle detected when computing type of `S::S`
--> $DIR/issue-103790.rs:4:32
|
LL | struct S<const S: (), const S: S = { S }>;
| ^
|
= note: ...which immediately requires computing type of `S::S` again
note: cycle used when checking that `S` is well-formed
--> $DIR/issue-103790.rs:4:1
|
LL | struct S<const S: (), const S: S = { S }>;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
error: aborting due to 3 previous errors
Some errors have detailed explanations: E0107, E0391, E0403.
For more information about an error, try `rustc --explain E0107`.