Merge pull request #1353 from matthiaskrgr/2107

ices/99387.rs

@@ -0,0 +1,22 @@
+#![feature(type_alias_impl_trait)]
+#![allow(private_in_public)]
+
+pub type Successors<'a> = impl Iterator<Item = &'a ()>;
+
+pub fn f<'a>() -> Successors<'a> {
+    None.into_iter()
+}
+
+trait Tr {
+    type Item;
+}
+
+impl<'a> Tr for &'a () {
+    type Item = Successors<'a>;
+}
+
+pub fn ohno<'a>() -> <&'a () as Tr>::Item {
+    None.into_iter()
+}
+
+fn main() {}

ices/99566.rs

@@ -0,0 +1,5 @@
+#![feature(closure_lifetime_binder)]
+
+fn main() {
+    for<const N: i32> || -> () {};    
+}

ices/99575.rs

@@ -0,0 +1,28 @@
+use std::pin::Pin;
+
+fn main() {
+    let a = Enum::A(Pin::new(Box::new(A())));
+    let b = Enum::B(Pin::new(Box::new(B())));
+    println!("{:?} {:?}", a, b);
+}
+
+#[derive(Debug)]
+enum Enum {
+    A(Pin<Box<A>>),
+    B(Pin<Box<B>>),
+}
+
+#[derive(Debug)]
+struct A();
+
+impl Drop for Pin<Box<A>> {
+    fn drop(&mut self) {}
+}
+
+#[derive(Debug)]
+struct B();
+
+// UNCOMMENT TO FIX COMPILER ERROR
+// impl Drop for Pin<Box<B>> {
+//     fn drop(&mut self) {}
+// }