diff --git a/ices/97806.rs b/ices/97806.rs
new file mode 100644
index 00000000..da62ddd3
--- /dev/null
+++ b/ices/97806.rs
@@ -0,0 +1,15 @@
+struct TestErr<T> {
+     field: std::marker::PhantomData<T>,
+}
+
+impl<T> TestErr<T> {
+    fn func_a() {}
+
+    fn func_b() {
+        Self::func_a();
+
+        let variable = None;
+    }
+}
+
+fn main() {}
diff --git a/ices/97836.rs b/ices/97836.rs
new file mode 100644
index 00000000..245be4fc
--- /dev/null
+++ b/ices/97836.rs
@@ -0,0 +1 @@
+fn a() where for<T> T: Copy { }