From 218caa410aa38c29984be31a5229b9fa717560ee Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:19:13 +0200
Subject: Merging upstream version 1.68.2+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 tests/ui/consts/miri_unleashed/assoc_const.rs | 30 +++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 tests/ui/consts/miri_unleashed/assoc_const.rs

(limited to 'tests/ui/consts/miri_unleashed/assoc_const.rs')

diff --git a/tests/ui/consts/miri_unleashed/assoc_const.rs b/tests/ui/consts/miri_unleashed/assoc_const.rs
new file mode 100644
index 000000000..7bb0c1b77
--- /dev/null
+++ b/tests/ui/consts/miri_unleashed/assoc_const.rs
@@ -0,0 +1,30 @@
+// build-fail
+// compile-flags: -Zunleash-the-miri-inside-of-you
+
+// a test demonstrating why we do need to run static const qualification on associated constants
+// instead of just checking the final constant
+
+trait Foo<T> {
+    const X: T;
+}
+
+trait Bar<T, U: Foo<T>> {
+    const F: u32 = (U::X, 42).1;
+}
+
+impl Foo<u32> for () {
+    const X: u32 = 42;
+}
+impl Foo<Vec<u32>> for String {
+    const X: Vec<u32> = Vec::new();
+}
+
+impl Bar<u32, ()> for () {}
+impl Bar<Vec<u32>, String> for String {}
+
+fn main() {
+    // this is fine, but would have been forbidden by the static checks on `F`
+    let x = <() as Bar<u32, ()>>::F;
+    // this test only causes errors due to the line below, so post-monomorphization
+    let y = <String as Bar<Vec<u32>, String>>::F; //~ constant
+}
-- 
cgit v1.2.3