add 2 ices

rust-lang/rust#99073 rust-lang/rust#99228
matthiaskrgr · Jul 15, 2022 · 1828c76 · 1828c76
1 parent b92e688
commit 1828c76
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/ices/99073.rs b/ices/99073.rs
@@ -0,0 +1,7 @@
+fn main() {
+  let _ = fix(|_: &dyn Fn()| {});
+}
+
+fn fix<F: Fn(G), G: Fn()>(f: F) -> impl Fn() {
+  move || f(fix(&f))
+}
diff --git a/ices/99228.sh b/ices/99228.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+rustc -Zvalidate-mir - <<'EOF'
+
+#![feature(let_else)]
+fn example_let_else(value: Option<String>) {
+    let _inner = value else {
+        return;
+    };
+}
+fn main() {
+    example_let_else(None);
+}
+
+EOF
+