diff --git a/ices/88536.sh b/ices/88536.sh
new file mode 100644
index 00000000..63508dee
--- /dev/null
+++ b/ices/88536.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+rustc --emit=mir -Zsave-analysis - << EOF
+
+#![allow(incomplete_features)]
+#[derive(PartialEq, Eq)]
+pub struct Foo {}
+pub struct Foo_<const F: Foo>;
+
+impl Foo_<{Foo {}}> {}
+
+fn main() {}
+
+EOF