Merge pull request #984 from matthiaskrgr/ices_6

add more ices

Author: Alexendoo

ices/89271.sh

@@ -0,0 +1,30 @@
+#!/bin/bash
+
+rustc -Zsave-analysis - <<EOF
+#![feature(lang_items)]
+// #![feature(no_core)]
+// #![no_core]
+
+#[lang = "fn"]
+trait MyFn<T> {
+    const call: i32 = 42;
+    //~^ ERROR: `call` trait item in `fn`/`fn_mut` lang item must be a function
+}
+
+#[lang = "fn_mut"]
+trait MyFnMut<T> {
+    fn call(i: i32, j: i32) -> i32 { i + j }
+    //~^ ERROR: first argument of `call` in `fn`/`fn_mut` lang item must be a reference
+}
+
+fn main() {
+    let a = || 42;
+    a();
+
+    let mut i = 0;
+    let mut b = || { i += 1; };
+    b();
+}
+
+fn main() {}
+EOF

ices/89290.rs

@@ -0,0 +1,10 @@
+#![feature(const_fn_trait_bound)]
+#![feature(const_trait_impl)]
+
+const fn foo<T: ~const Drop>(_: T) {}
+
+const fn bar() {
+    foo(|| ());
+}
+
+pub fn main() {}

ices/89304.rs

@@ -0,0 +1,17 @@
+#![feature(generic_const_exprs)]
+
+struct GenericStruct<const T: usize> { val: i64 }
+
+impl<const T: usize> From<GenericStruct<T>> for GenericStruct<{T + 1}> {
+    fn from(other: GenericStruct<T>) -> Self {
+        Self { val: other.val }
+    }
+}
+
+impl<const T: usize> From<GenericStruct<{T + 1}>> for GenericStruct<T> {
+    fn from(other: GenericStruct<{T + 1}>) -> Self {
+        Self { val: other.val }
+    }
+}
+
+pub fn main() {}

ices/89312.rs

@@ -0,0 +1,22 @@
+#![feature(type_alias_impl_trait)]
+
+trait T { type Item; }
+
+type Alias<'a> = impl T<Item = &'a ()>;
+
+struct S;
+impl<'a> T for &'a S {
+    type Item = &'a ();
+}
+
+fn filter_positive<'a>() -> Alias<'a> {
+    &S
+}
+
+fn with_positive(fun: impl Fn(Alias<'_>)) {
+    fun(filter_positive());
+}
+
+fn main() {
+    with_positive(|_| ());
+}