Rollup merge of #117516 - matthiaskrgr:test_effects_113375_oob, r=fee…

…1-dead add test for #113375 Fixes #113375 r? `@fee1-dead`
rust-lang · Nov 6, 2023 · 8a34fea · 8a34fea
2 parents 1683df7 + 666cad9
commit 8a34fea
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/ice-113375-index-out-of-bounds-generics.rs b/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/ice-113375-index-out-of-bounds-generics.rs
@@ -0,0 +1,18 @@
+// check-pass
+
+// effects ice https://github.com/rust-lang/rust/issues/113375 index out of bounds
+
+#![allow(incomplete_features, unused)]
+#![feature(effects, adt_const_params)]
+
+struct Bar<T>(T);
+
+impl<T> Bar<T> {
+    const fn value() -> usize {
+        42
+    }
+}
+
+struct Foo<const N: [u8; Bar::<u32>::value()]>;
+
+pub fn main() {}