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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

error[E0080]: evaluation of constant value failed
  --> $DIR/erroneous_const2.rs:LL:CC
   |
LL | const FOO: u32 = [X - Y, Y - X][(X < Y) as usize];
   |                   ^^^^^ attempt to compute `5_u32 - 6_u32`, which would overflow

note: erroneous constant encountered
  --> $DIR/erroneous_const2.rs:LL:CC
   |
LL |     println!("{}", FOO);
   |                    ^^^

note: erroneous constant encountered
  --> $DIR/erroneous_const2.rs:LL:CC
   |
LL |     println!("{}", FOO);
   |                    ^^^
   |
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

note: erroneous constant encountered
  --> $DIR/erroneous_const2.rs:LL:CC
   |
LL |     println!("{}", FOO);
   |                    ^^^
   |
   = note: this note originates in the macro `$crate::format_args_nl` which comes from the expansion of the macro `println` (in Nightly builds, run with -Z macro-backtrace for more info)

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0080`.