Another test for typestate and expr_fn

2026-05-29 12:36:35 +03:00 · 2011-06-28 13:14:52 -07:00
parent 28459ca0eb
commit d832f7abec
1 changed files with 10 additions and 0 deletions
@@ -0,0 +1,10 @@
+// error-pattern:Unsatisfied precondition
+// xfail-stage0
+
+fn main() {
+  auto j = (fn () -> int {
+        let int i;
+        ret i;
+    })();
+  log_err j;
+}