From 462730fdaef6ea1a6e05e2f8c889a7c5106df796 Mon Sep 17 00:00:00 2001
From: Hosshii <sao_heath6147.wistre@icloud.com>
Date: Fri, 7 Oct 2022 23:36:59 +0900
Subject: [PATCH] Add regression test for #102124

---
 src/test/ui/const-generics/issue-102124.rs | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 src/test/ui/const-generics/issue-102124.rs

diff --git a/src/test/ui/const-generics/issue-102124.rs b/src/test/ui/const-generics/issue-102124.rs
new file mode 100644
index 0000000000000..a28f198e9e099
--- /dev/null
+++ b/src/test/ui/const-generics/issue-102124.rs
@@ -0,0 +1,20 @@
+// run-pass
+// compile-flags: -Zmir-opt-level=3
+
+// regression test for #102124
+
+const L: usize = 4;
+
+pub trait Print<const N: usize> {
+    fn print(&self) -> usize {
+        N
+    }
+}
+
+pub struct Printer;
+impl Print<L> for Printer {}
+
+fn main() {
+    let p = Printer;
+    assert_eq!(p.print(), 4);
+}