add 2 (4) ices

ices/97098.rs

@@ -0,0 +1,16 @@
+#![feature(type_alias_impl_trait)]
+#![feature(generic_associated_types)]
+
+pub trait Trait {
+    type Assoc<'a>;
+}
+
+pub type Foo = impl for<'a> Trait<Assoc<'a> = FooAssoc<'a>>;
+pub type FooAssoc<'a> = impl Sized;
+
+struct Struct;
+impl Trait for Struct {
+    type Assoc<'a> = &'a u32;
+}
+
+const FOO: Foo = Struct;

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
+