Add test accounting for rust-lang/rust#87723.

Author: eddyb

tests/ui/lang/core/ops/range-contains.rs

@@ -0,0 +1,19 @@
+// Test that using `(a..b).contains(&x)`, which is starting to get used
+// in `core` (see https://github.com/rust-lang/rust/pull/87723), cannot
+// cause a fatal error, but at most a zombie or SPIR-V validation error.
+
+// build-fail
+
+// HACK(eddyb) this allows CI (older?) `spirv-val` output to also work.
+// normalize-stderr-test "  %\d+ = OpVariable %\w+ Function\n\n" -> ""
+
+use spirv_std as _;
+
+fn has_two_decimal_digits(x: u32) -> bool {
+    (10..100).contains(&x)
+}
+
+#[spirv(fragment)]
+pub fn main(i: u32, o: &mut bool) {
+    *o = has_two_decimal_digits(i);
+}

tests/ui/lang/core/ops/range-contains.stderr

@@ -0,0 +1,7 @@
+error: error:0:0 - In Logical addressing, variables may not allocate a pointer type
+  |
+  = note: spirv-val failed
+  = note: module `$TEST_BUILD_DIR/lang/core/ops/range-contains.stage-id.spv.dir/module`
+
+error: aborting due to previous error
+