Add 85031 (#743)

Co-authored-by: Yuki Okushi <[email protected]>

Author: Johannesd3

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
+

ices/85031-2.sh

@@ -0,0 +1,24 @@
+#!/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