about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2020-04-06 14:51:00 +0000
committerNiko Matsakis <niko@alum.mit.edu>2020-04-06 14:51:00 +0000
commitcd9f709a33b952d52c34e037dc13adfe0a3efb8d (patch)
tree1ab227327c18d7ed9f46c963f295aea67767c1a2
parente7f8895359365403a955468156a35bf26a45e0bf (diff)
downloadrust-cd9f709a33b952d52c34e037dc13adfe0a3efb8d.tar.gz
rust-cd9f709a33b952d52c34e037dc13adfe0a3efb8d.zip
add nested regression test
-rw-r--r--src/test/ui/async-await/issues/issue-69307-nested.rs30
1 files changed, 30 insertions, 0 deletions
diff --git a/src/test/ui/async-await/issues/issue-69307-nested.rs b/src/test/ui/async-await/issues/issue-69307-nested.rs
new file mode 100644
index 00000000000..b7cdf3987f1
--- /dev/null
+++ b/src/test/ui/async-await/issues/issue-69307-nested.rs
@@ -0,0 +1,30 @@
+// Regression test for #69307
+//
+// Having a `async { .. foo.await .. }` block appear inside of a `+=`
+// expression was causing an ICE due to a failure to save/restore
+// state in the AST numbering pass when entering a nested body.
+//
+// check-pass
+// edition:2018
+
+fn block_on<F>(_: F) -> usize {
+    0
+}
+
+fn main() {}
+
+async fn bar() {
+    let mut sum = 0;
+    sum += {
+        block_on(async {
+            baz().await;
+            let mut inner = 1;
+            inner += block_on(async {
+                baz().await;
+                0
+            })
+        })
+    };
+}
+
+async fn baz() {}