Add ui test for issue 88074

2021-08-16 21:00:17 +01:00 · 2021-08-16 21:00:17 +01:00 · ca1616c75b
commit ca1616c75b
parent d8dae4f8e5
1 changed files with 16 additions and 0 deletions
--- a/src/test/ui/pattern/issue-88074-pat-range-type-inference.rs
+++ b/src/test/ui/pattern/issue-88074-pat-range-type-inference.rs
@ -0,0 +1,16 @@
+// check-pass
+
+trait Zero {
+    const ZERO: Self;
+}
+
+impl Zero for i32 {
+    const ZERO: Self = 0;
+}
+
+fn main() {
+    match 1 {
+        Zero::ZERO ..= 1 => {},
+        _ => {},
+    }
+}