Merge pull request #1211 from matthiaskrgr/apr09

add 7 ices

Author: Alexendoo

ices/95628.rs

@@ -0,0 +1,13 @@
+#![feature(type_alias_impl_trait)]
+
+type T = impl Sized;
+
+struct Foo;
+
+impl Into<T> for Foo {
+    fn into(self) -> T {}
+}
+
+fn main(){
+    let _: T = Foo.into();
+}

ices/95640.sh

@@ -0,0 +1,29 @@
+rustc  -Zmir-opt-level=3  - 2>&1 << EOF
+
+struct D;
+
+trait Tr {
+    type It;
+    fn foo(self) -> Option<Self::It>;
+}
+
+impl<'a> Tr for &'a D {
+    type It = ();
+    fn foo(self) -> Option<()> { None }
+}
+
+fn run<F>(f: F)
+    where for<'a> &'a D: Tr,
+          F: Fn(<&D as Tr>::It),
+{
+    let d = &D;
+    while let Some(i) = d.foo() {
+        f(i);
+    }
+}
+
+fn main() {
+    run(|_| {});
+}
+
+EOF

ices/95647-1.rs

@@ -0,0 +1,11 @@
+trait Tr<T> {
+    type Output;
+}
+
+impl<T> Tr<T> for () {
+    type Output = T;
+}
+
+fn g() -> impl for<'a> Tr<&'a u8, Output = impl std::fmt::Debug + 'a> { }
+
+pub fn main() {}

ices/95647-2.rs

@@ -0,0 +1,9 @@
+trait Tr<'a> {
+    type Assoc;
+}
+
+impl<'a> Tr<'a> for () {
+    type Assoc = &'a ();
+}
+
+fn g() -> impl for<'a> Tr<'a, Assoc = impl Send + 'a> {}

ices/95665.rs

@@ -0,0 +1,14 @@
+pub trait Trait: {}
+
+pub struct Struct<T: Trait> {
+    member: T,
+}
+
+// uncomment and bug goes away
+//impl Trait for u8 {}
+
+extern "C" {
+    static VAR: Struct<u8>;
+}
+
+fn main() {}

ices/95823.rs

@@ -0,0 +1,12 @@
+#![feature(ptr_metadata)]
+
+pub struct S;
+
+impl S
+where
+    ():,
+{
+    fn f<T: ?Sized>(_: <T as core::ptr::Pointee>::Metadata) {}
+}
+
+pub fn main() {}

ices/95829.rs

@@ -0,0 +1,5 @@
+extern {
+    async fn L() {
+        async fn M() {}
+    }
+}