diff --git a/ices/101852.rs b/ices/101852.rs
new file mode 100644
index 00000000..7bbb4a70
--- /dev/null
+++ b/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() {
+}
diff --git a/ices/101940.rs b/ices/101940.rs
new file mode 100644
index 00000000..fd3e1e9b
--- /dev/null
+++ b/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() {}
diff --git a/ices/101962.rs b/ices/101962.rs
new file mode 100644
index 00000000..b4e3b825
--- /dev/null
+++ b/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);
+}