Add more ICEs

Author: Alexendoo

ices/75682.rs

@@ -0,0 +1,7 @@
+struct InterruptSectorManager {
+    field: &'static (),
+}
+
+static FOO: [InterruptSectorManager; 2] = [InterruptSectorManager { field: &() }; 2];
+
+fn main() {}

ices/75707.rs

@@ -0,0 +1,14 @@
+pub trait Callback { fn cb(); }
+
+pub trait Processing {
+    type Call:Callback;
+}
+
+fn f<P:Processing+?Sized>() {
+    P::Call::cb();
+}
+
+fn main() {
+    struct MyCall;
+    f::<dyn Processing<Call=MyCall>>();
+}

ices/75883.rs

@@ -0,0 +1,16 @@
+pub struct UI {}
+
+impl UI {
+    pub fn run() -> Result<_> {
+        let mut ui = UI {};
+        ui.interact();
+
+        unimplemented!();
+    }
+
+    pub fn interact(&mut self) -> Result<_> {
+        unimplemented!();
+    }
+}
+
+fn main() {}

ices/75889.rs

@@ -0,0 +1,3 @@
+const /* or static */ FOO: dyn Fn() /* or just fn() */ -> _ = "this can be anything";
+
+fn main() {}

ices/75961.rs

@@ -0,0 +1,5 @@
+pub fn foo<'a>(s: &'a mut ()) where &'a mut (): Clone {
+    <&mut () as Clone>::clone(&s);
+}
+
+fn main() {}

ices/75962.sh

@@ -0,0 +1,39 @@
+#!/bin/bash
+
+rustc -Z save-analysis - << EOF
+
+#![feature(type_alias_impl_trait)]
+#![feature(impl_trait_in_bindings)]
+
+struct Foo<T>(T);
+
+trait FooLike { type Output; }
+
+impl<T> FooLike for Foo<T> {
+    type Output = T;
+}
+
+
+// Reduction using `impl Trait` in bindings
+
+mod impl_trait_in_bindings {
+    struct Foo;
+
+    trait FooLike { type Output; }
+
+    impl FooLike for Foo {
+        type Output = u32;
+    }
+
+    trait Trait {
+        type Assoc;
+    }
+
+    fn foo<T: Trait<Assoc=u32>>() {
+        let _: impl FooLike<Output=T::Assoc> = Foo;
+    }
+}
+
+fn main() {}
+
+EOF

ices/75983.rs

@@ -0,0 +1,13 @@
+#![feature(trait_alias)]
+
+struct Bar;
+trait Foo {}
+impl Foo for Bar {}
+
+trait Baz = Foo where Bar: Foo;
+
+fn new() -> impl Baz {
+    Bar
+}
+
+fn main() {}

ices/76013.rs

@@ -0,0 +1,5 @@
+#![feature(const_panic)]
+
+const _: () = panic!(String::new());
+
+fn main() {}

ices/76064.rs

@@ -0,0 +1,3 @@
+struct Bug([u8; panic!(1)]);
+
+fn main() {}

ices/76168.rs

@@ -0,0 +1,12 @@
+trait Trait<Input> {
+    type Output;
+}
+
+async fn walk<F: 'static>(filter: F)
+where
+    for<'a> F: Trait<&'a u32> + 'a,
+    for<'a> <F as Trait<&'a u32>>::Output: 'a,
+{
+}
+
+fn main() {}