add more ices

ices/101696-1.rs

@@ -0,0 +1,34 @@
+use std::marker::PhantomData;
+
+#[derive(Default)]
+struct MyType<'a> {
+    field: usize,
+    _phantom: PhantomData<&'a ()>,
+}
+
+#[derive(Default)]
+struct MyTypeVariant<'a> {
+    field: usize,
+    _phantom: PhantomData<&'a ()>,
+}
+
+trait AsVariantTrait {
+    type Type;
+}
+
+impl<'a> AsVariantTrait for MyType<'a> {
+    type Type = MyTypeVariant<'a>;
+}
+
+type Variant<G> = <G as AsVariantTrait>::Type;
+
+fn foo<T: Default, F: FnOnce(T)>(f: F) {
+    let input = T::default();
+    f(input);
+}
+
+fn main() {
+    foo(|a: Variant<MyType>| {
+        a.field;
+    });
+}

ices/101696-2.rs

@@ -0,0 +1,32 @@
+use std::marker::PhantomData;
+
+#[derive(Default)]
+struct MyType<'a> {
+    field: usize,
+    _phantom: PhantomData<&'a ()>,
+}
+
+#[derive(Default)]
+struct MyTypeVariant<'a> {
+    field: usize,
+    _phantom: PhantomData<&'a ()>,
+}
+
+trait AsVariantTrait {
+    type Type;
+}
+
+impl<'a> AsVariantTrait for MyType<'a> {
+    type Type = MyTypeVariant<'a>;
+}
+
+fn foo<T: Default, F: FnOnce(T)>(f: F) {
+    let input = T::default();
+    f(input);
+}
+
+fn main() {
+    foo(|a: <MyType as AsVariantTrait>::Type| {
+        a.field;
+    });
+}

ices/101739.sh

@@ -0,0 +1,24 @@
+#!/bin/bash
+
+rustc -Zsave-analysis - <<'EOF'
+
+#![feature(transmutability)]
+
+mod assert {
+    use std::mem::BikeshedIntrinsicFrom;
+
+    pub fn is_transmutable<Src, Context, const ASSUME_ALIGNMENT: bool>()
+    where
+        Dst: BikeshedIntrinsicFrom<Src, Context, ASSUME_ALIGNMENT>,
+    {}
+}
+
+fn via_const() {
+    struct Context;
+    struct Src;
+
+    assert::is_transmutable::<Src, Context, false>();
+}
+
+EOF
+

ices/101852.rs

@@ -0,0 +1,10 @@
+pub fn ice(
+    x: impl AsRef<str>,
+) -> impl IntoIterator<Item = ()> {
+    vec![].append(&mut ice(x.as_ref()));
+
+    Vec::new()
+}
+
+fn main() {
+}

ices/101940.rs

@@ -0,0 +1,19 @@
+pub trait Trait {
+    type Fut<'a> where Self: 'a;
+    fn fun<'a, 'b>(&'a self, x: &'_ mut &'b ()) -> Self::Fut<'a>
+    where
+        'b: 'a;
+}
+impl Trait for () {
+    type Fut<'a> = impl ::std::future::Future + 'a
+    where
+        Self: 'a;
+    fn fun<'a, 'b>(&'a self, x: &'_ mut &'b ()) -> Self::Fut<'a>
+    where
+        'b: 'a,
+    {
+        async { }
+    }
+}
+
+pub fn main() {}

ices/101962.rs

@@ -0,0 +1,9 @@
+#![feature(core_intrinsics)]
+
+pub fn wrapping<T: Copy>(a: T, b: T) {
+    let _z = core::intrinsics::wrapping_mul(a, b);
+}
+
+pub fn main() {
+    wrapping(1,2);
+}