src/test/ui/associated-const/defaults-cyclic-fail.stderr

   1 error[E0391]: cycle detected when normalizing `<() as Tr>::A`
   2    |
   3 note: ...which requires simplifying constant for the type system `Tr::A`...
   4   --> $DIR/defaults-cyclic-fail.rs:6:5
   5    |
   6 LL |     const A: u8 = Self::B;
   7    |     ^^^^^^^^^^^^^^^^^^^^^^
   8 note: ...which requires simplifying constant for the type system `Tr::A`...
   9   --> $DIR/defaults-cyclic-fail.rs:6:5
  10    |
  11 LL |     const A: u8 = Self::B;
  12    |     ^^^^^^^^^^^^^^^^^^^^^^
  13 note: ...which requires const-evaluating + checking `Tr::A`...
  14   --> $DIR/defaults-cyclic-fail.rs:6:5
  15    |
  16 LL |     const A: u8 = Self::B;
  17    |     ^^^^^^^^^^^^^^^^^^^^^^
  18    = note: ...which requires normalizing `<() as Tr>::B`...
  19 note: ...which requires simplifying constant for the type system `Tr::B`...
  20   --> $DIR/defaults-cyclic-fail.rs:8:5
  21    |
  22 LL |     const B: u8 = Self::A;
  23    |     ^^^^^^^^^^^^^^^^^^^^^^
  24 note: ...which requires simplifying constant for the type system `Tr::B`...
  25   --> $DIR/defaults-cyclic-fail.rs:8:5
  26    |
  27 LL |     const B: u8 = Self::A;
  28    |     ^^^^^^^^^^^^^^^^^^^^^^
  29 note: ...which requires const-evaluating + checking `Tr::B`...
  30   --> $DIR/defaults-cyclic-fail.rs:8:5
  31    |
  32 LL |     const B: u8 = Self::A;
  33    |     ^^^^^^^^^^^^^^^^^^^^^^
  34    = note: ...which again requires normalizing `<() as Tr>::A`, completing the cycle
  35 note: cycle used when const-evaluating + checking `main::promoted[2]`
  36   --> $DIR/defaults-cyclic-fail.rs:14:1
  37    |
  38 LL | fn main() {
  39    | ^^^^^^^^^
  40
  41 error: aborting due to previous error
  42
  43 For more information about this error, try `rustc --explain E0391`.