Merge pull request #969 from matthiaskrgr/ices_4

add more ices

Author: Alexendoo

ices/88876.rs

@@ -0,0 +1,11 @@
+#![allow(incomplete_features)]
+#![feature(adt_const_params)]
+
+struct FooConst<const ARRAY: &'static [&'static str]> {}
+
+const FOO_ARR: &[&'static str; 2] = &["Hello", "Friend"];
+
+fn main() {
+    // Commenting the following line avoids the panic.
+    let foo = FooConst::<FOO_ARR> {};
+}

ices/88997.rs

@@ -0,0 +1,10 @@
+#![allow(incomplete_features)]
+#![feature(generic_const_exprs)]
+
+struct ConstAssert<const COND: bool>;
+trait True {}
+impl True for ConstAssert<true> {}
+
+struct Range<T: PartialOrd, const MIN: T, const MAX: T>(T)
+where
+    ConstAssert<{ MIN <= MAX }>: True;