src/tools/miri/tests/fail/erroneous_const2.stderr

   1 error[E0080]: evaluation of constant value failed
   2   --> $DIR/erroneous_const2.rs:LL:CC
   3    |
   4 LL | const FOO: u32 = [X - Y, Y - X][(X < Y) as usize];
   5    |                   ^^^^^ attempt to compute `5_u32 - 6_u32`, which would overflow
   6
   7 error: aborting due to previous error
   8
   9 For more information about this error, try `rustc --explain E0080`.