warning: any use of this value will cause an error
  --> $DIR/issue-43197.rs:8:20
   |
LL |     const X: u32 = 0-1;
   |     ---------------^^^-
   |                    |
   |                    attempt to subtract with overflow
   |
note: lint level defined here
  --> $DIR/issue-43197.rs:1:9
   |
LL | #![warn(const_err)]
   |         ^^^^^^^^^

warning: any use of this value will cause an error
  --> $DIR/issue-43197.rs:10:24
   |
LL |     const Y: u32 = foo(0-1);
   |     -------------------^^^--
   |                        |
   |                        attempt to subtract with overflow

error[E0080]: evaluation of constant expression failed
  --> $DIR/issue-43197.rs:12:26
   |
LL |     println!("{} {}", X, Y);
   |                          ^ referenced constant has errors

error[E0080]: evaluation of constant expression failed
  --> $DIR/issue-43197.rs:12:23
   |
LL |     println!("{} {}", X, Y);
   |                       ^ referenced constant has errors

error: aborting due to 2 previous errors

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