Add 85031

Issue: rust-lang/rust#85031
Johannesd3 · May 8, 2021 · da3dd0a · da3dd0a
1 parent 9189af0
commit da3dd0a
Show file tree

Hide file tree

Showing 2 changed files with 41 additions and 0 deletions.
diff --git a/ices/85031-1.sh b/ices/85031-1.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+rustc --edition 2018 -C incremental=foo --crate-type lib - <<'EOF'
+#![allow(incomplete_features)]
+#![feature(const_generics, const_evaluatable_checked)]
+
+pub struct Ref<'a>(&'a i32);
+
+impl<'a> Ref<'a> {
+    pub fn foo<const A: usize>() -> [(); A - 0] {
+        Self::foo()
+    }
+}
+
+EOF
+
diff --git a/ices/85031-2.sh b/ices/85031-2.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+rustc --edition 2018 -C incremental=foo --crate-type lib - <<'EOF'
+#![allow(incomplete_features)]
+#![feature(const_generics, const_evaluatable_checked)]
+
+pub struct Ref<'a>(&'a i32);
+
+impl Ref<'_> {
+    pub fn foo<const A: usize>()
+    where
+        ([(); A - 0], ()): Sized,
+    {
+        Self::bar::<A>()
+    }
+
+    fn bar<const A: usize>()
+    where
+	([(); A - 0], ()): Sized,
+    {
+    }
+}
+
+EOF
+