Merge pull request #329 from JohnTitor/add-ices

Add 5 ICEs

ices/71036.rs

@@ -0,0 +1,30 @@
+#![feature(unsize, dispatch_from_dyn)]
+
+use std::marker::Unsize;
+use std::ops::DispatchFromDyn;
+
+struct Inner<'a, T: ?Sized> {
+    value: &'a T,
+}
+
+impl<'a, T: ?Sized + Unsize<U>, U: ?Sized> DispatchFromDyn<Inner<'a, U>> for Inner<'a, T> {}
+
+impl<'a, T: ?Sized> Inner<'a, T> {
+    fn new(value: &'a T) -> Inner<'a, T> {
+        Inner { value }
+    }
+}
+
+pub struct Local<'a, T: ?Sized> {
+    inner: &'a Inner<'a, T>,
+}
+
+impl<'a, T: ?Sized + Unsize<U>, U: ?Sized> DispatchFromDyn<Local<'a, U>> for Local<'a, T> {}
+
+impl<'a, T: ?Sized> Local<'a, T> {
+    fn new(inner: &'a Inner<'a, T>) -> Local<'a, T> {
+        Local { inner }
+    }
+}
+
+fn main() {}

ices/71042.rs

@@ -0,0 +1,9 @@
+#![feature(impl_trait_in_bindings)]
+#![allow(incomplete_features)]
+
+fn main() {
+    const C: impl Copy = 0;
+    match C {
+        C | _ => {}
+    }
+}

ices/71113.rs

@@ -0,0 +1,14 @@
+use std::borrow::Cow;
+
+pub enum Recursive<'a>
+where
+    Recursive<'a>: ToOwned<Owned = Box<Recursive<'a>>>,
+{
+    Variant(MyCow<'a, Recursive<'a>>),
+}
+
+pub struct Wrapper<T>(T);
+
+pub struct MyCow<'a, T: ToOwned<Owned = Box<T>> + 'a>(Wrapper<Cow<'a, T>>);
+
+fn main() {}

ices/71169.rs

@@ -0,0 +1,9 @@
+#![feature(const_generics)]
+#![allow(incomplete_features)]
+
+fn foo<const LEN: usize, const DATA: [u8; LEN]>() {}
+
+fn main() {
+    const DATA: [u8; 4] = *b"ABCD";
+    foo::<4, DATA>();
+}

ices/71176.rs

@@ -0,0 +1,20 @@
+#![allow(dead_code, incomplete_features)]
+#![feature(generic_associated_types)]
+
+trait Provider {
+    type A<'a>;
+}
+
+impl Provider for () {
+    type A<'a> = ();
+}
+
+struct Holder<B> {
+    inner: Box<dyn Provider<A = B>>,
+}
+
+fn main() {
+    Holder {
+        inner: Box::new(()),
+    };
+}