add 2 (4) ICES

rust-lang/rust#98476
rust-lang/rust#97099

Author: matthiaskrgr

ices/97099-1.rs

@@ -0,0 +1,12 @@
+pub trait Trait<'a> {
+    type Assoc;
+}
+
+struct Struct;
+impl<'a> Trait<'a> for Struct {
+    type Assoc = &'a u32;
+}
+
+fn blah() -> impl for<'a> Trait<'a, Assoc = impl Sized> {
+    Struct
+}

ices/97099-2.rs

@@ -0,0 +1,17 @@
+trait Trait<E> {
+    type Assoc;
+}
+
+struct Foo;
+
+impl<'a> Trait<&'a ()> for Foo {
+    type Assoc = ();
+}
+
+fn foo() -> impl for<'a> Trait<&'a ()> {
+    Foo
+}
+
+fn bar() -> impl for<'a> Trait<&'a (), Assoc = impl Sized> {
+    foo()
+}

ices/98476-1.sh

@@ -0,0 +1,25 @@
+#!/bin/bash
+
+rustc --edition=2021 -Zdrop-tracking - <<'EOF'
+
+fn main() {
+    let _ = foo();
+}
+
+async fn from_config(_: Config) {}
+
+async fn foo() {
+    from_config(Config {
+        nickname: None,
+        ..Default::default()
+    })
+    .await;
+}
+
+#[derive(Default)]
+struct Config {
+    nickname: Option<Box<u8>>,
+}
+
+EOF
+

ices/98476-2.sh

@@ -0,0 +1,34 @@
+#!/bin/bash
+
+rustc --edition=2021 -Zdrop-tracking - <<'EOF'
+
+fn main() {
+    let _ = foo();
+}
+
+async fn from_config(x: Config) {
+    async {}.await;
+    drop(x);
+}
+
+async fn foo() {
+    from_config(Config {
+        nickname: NonCopy,
+        ..Default::default()
+    })
+    .await;
+}
+
+#[derive(Default)]
+struct NonCopy;
+impl Drop for NonCopy {
+    fn drop(&mut self) {}
+}
+
+#[derive(Default)]
+struct Config {
+    nickname: NonCopy,
+}
+
+EOF
+