-error[E0391]: cycle detected when simplifying constant for the type system `A`
+error[E0391]: cycle detected when const-evaluating + checking `A`
--> $DIR/issue-23302-3.rs:1:1
|
LL | const A: i32 = B;
| ^^^^^^^^^^^^^^^^^
|
-note: ...which requires simplifying constant for the type system `A`...
- --> $DIR/issue-23302-3.rs:1:1
- |
-LL | const A: i32 = B;
- | ^^^^^^^^^^^^^^^^^
-note: ...which requires const-evaluating + checking `A`...
- --> $DIR/issue-23302-3.rs:1:1
- |
-LL | const A: i32 = B;
- | ^^^^^^^^^^^^^^^^^
- = note: ...which requires normalizing `B`...
-note: ...which requires simplifying constant for the type system `B`...
- --> $DIR/issue-23302-3.rs:3:1
- |
-LL | const B: i32 = A;
- | ^^^^^^^^^^^^^^^^^
-note: ...which requires simplifying constant for the type system `B`...
+note: ...which requires const-evaluating + checking `B`...
--> $DIR/issue-23302-3.rs:3:1
|
LL | const B: i32 = A;
| ^^^^^^^^^^^^^^^^^
-note: ...which requires const-evaluating + checking `B`...
- --> $DIR/issue-23302-3.rs:3:1
+ = note: ...which again requires const-evaluating + checking `A`, completing the cycle
+note: cycle used when simplifying constant for the type system `A`
+ --> $DIR/issue-23302-3.rs:1:1
|
-LL | const B: i32 = A;
+LL | const A: i32 = B;
| ^^^^^^^^^^^^^^^^^
- = note: ...which requires normalizing `A`...
- = note: ...which again requires simplifying constant for the type system `A`, completing the cycle
- = note: cycle used when running analysis passes on this crate
error: aborting due to previous error