Merge pull request #274 from JohnTitor/add-ices-0129

Add three ICEs

Author: Alexendoo

ices/68550.rs

@@ -0,0 +1,9 @@
+fn run<'a, A>(x: A)
+where
+    A: 'static,
+    &'static A: ,
+{
+    let _: &'a A = &x;
+}
+
+fn main() {}

ices/68578.rs

@@ -0,0 +1,25 @@
+trait Trait { type Resources: Resources; }
+impl Trait for () {
+    type Resources = usize;
+}
+
+
+trait ResourceFamily<'a> { type Output; }
+
+struct UsizeResourceFamily;
+impl<'a> ResourceFamily<'a> for UsizeResourceFamily {
+    type Output = &'a usize;
+}
+
+trait Resources { type Family: for<'a> ResourceFamily<'a>; }
+impl Resources for usize {
+    type Family = UsizeResourceFamily;
+}
+
+fn test<T: Trait>() {
+    let _: Box<dyn Fn(&mut <<<T as Trait>::Resources as Resources>::Family as ResourceFamily>::Output)> = Box::new(|_| {});
+}
+
+fn main() {
+    test::<()>();
+}

ices/68596.rs

@@ -0,0 +1,17 @@
+#![feature(const_generics)]
+#![feature(const_fn)]
+
+pub struct S(u8);
+
+impl S {
+    pub fn get<const A: u8>(&self) -> &u8 {
+        &self.0
+    }
+}
+
+fn main() {
+    const A: u8 = 5;
+    let s = S(0);
+
+    s.get::<A>();
+}