From ca1616c75b64bf7edebefcc70be010e5ac736c97 Mon Sep 17 00:00:00 2001
From: Gary Guo <gary@garyguo.net>
Date: Mon, 16 Aug 2021 21:00:17 +0100
Subject: [PATCH] Add ui test for issue 88074

---
 .../issue-88074-pat-range-type-inference.rs      | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 src/test/ui/pattern/issue-88074-pat-range-type-inference.rs

diff --git a/src/test/ui/pattern/issue-88074-pat-range-type-inference.rs b/src/test/ui/pattern/issue-88074-pat-range-type-inference.rs
new file mode 100644
index 00000000000..27db7d8c7ab
--- /dev/null
+++ 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 => {},
+        _ => {},
+    }
+}