Merge pull request #961 from matthiaskrgr/88536

add rust-lang/rust#88536
rust-lang · Sep 4, 2021 · 37e41c8 · 37e41c8
2 parents 83a9327 + f259eb4
commit 37e41c8
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