Merge pull request #293 from JohnTitor/re-ice

Add or revive ICEs

Author: Alexendoo

fixed/62879.rs

@@ -0,0 +1,9 @@
+#![feature(const_generics)]
+
+fn foo<const N: usize, const A: [u8; N]>() {}
+
+fn bar() {
+    foo::<1, {[1]}>();
+}
+
+fn main() {}

ices/62879.rs

@@ -0,0 +1,15 @@
+trait IAmATrait {
+    type Item;
+    fn function(&self) -> Self::Item;
+}
+
+struct IAmAnObject(usize);
+
+impl IAmATrait for IAmAnObject {
+    type Item = _;
+    fn function(&self) -> Self::Item {
+        self.0
+    }
+}
+
+fn main() {}