add rust-lang/rust#88536

matthiaskrgr · Sep 4, 2021 · f259eb4 · f259eb4
1 parent 83a9327
commit f259eb4
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/ices/88536.sh 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