1 files changed, 85 insertions, 0 deletions
diff --git a/tests/ui/consts/const-integer-bool-ops.rs b/tests/ui/consts/const-integer-bool-ops.rs
new file mode 100644
index 000000000..4110ae3e4
--- /dev/null
+++ b/tests/ui/consts/const-integer-bool-ops.rs
@@ -0,0 +1,85 @@
+const X: usize = 42 && 39;
+//~^ ERROR mismatched types
+//~| expected `bool`, found integer
+//~| ERROR mismatched types
+//~| expected `bool`, found integer
+//~| ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARR: [i32; X] = [99; 34];
+//~^ constant
+
+const X1: usize = 42 || 39;
+//~^ ERROR mismatched types
+//~| expected `bool`, found integer
+//~| ERROR mismatched types
+//~| expected `bool`, found integer
+//~| ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARR1: [i32; X1] = [99; 47];
+//~^ constant
+
+const X2: usize = -42 || -39;
+//~^ ERROR mismatched types
+//~| expected `bool`, found integer
+//~| ERROR mismatched types
+//~| expected `bool`, found integer
+//~| ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARR2: [i32; X2] = [99; 18446744073709551607];
+//~^ constant
+
+const X3: usize = -42 && -39;
+//~^ ERROR mismatched types
+//~| expected `bool`, found integer
+//~| ERROR mismatched types
+//~| expected `bool`, found integer
+//~| ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARR3: [i32; X3] = [99; 6];
+//~^ constant
+
+const Y: usize = 42.0 == 42.0;
+//~^ ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARRR: [i32; Y] = [99; 1];
+//~^ constant
+
+const Y1: usize = 42.0 >= 42.0;
+//~^ ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARRR1: [i32; Y1] = [99; 1];
+//~^ constant
+
+const Y2: usize = 42.0 <= 42.0;
+//~^ ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARRR2: [i32; Y2] = [99; 1];
+//~^ constant
+
+const Y3: usize = 42.0 > 42.0;
+//~^ ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARRR3: [i32; Y3] = [99; 0];
+//~^ constant
+
+const Y4: usize = 42.0 < 42.0;
+//~^ ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARRR4: [i32; Y4] = [99; 0];
+//~^ constant
+
+const Y5: usize = 42.0 != 42.0;
+//~^ ERROR mismatched types
+//~| expected `usize`, found `bool`
+const ARRR5: [i32; Y5] = [99; 0];
+//~^ constant
+
+fn main() {
+    let _ = ARR;
+    let _ = ARRR;
+    let _ = ARRR1;
+    let _ = ARRR2;
+    let _ = ARRR3;
+    let _ = ARRR4;
+    let _ = ARRR5;
+}