diff --git a/test/tapir_examples.jl b/test/tapir_examples.jl
index fe4686f3f96da..df22d451a687e 100644
--- a/test/tapir_examples.jl
+++ b/test/tapir_examples.jl
@@ -482,6 +482,49 @@ tak(x, y, z) =
         z
     end
 
+""" Tapir tasks are nested; but syncregions do not have to be. """
+module NonNestedSyncregions
+using Base.Experimental: Tapir
+
+@noinline produce(x) = Base.inferencebarrier(x)::typeof(x)
+
+function simple()
+    Tapir.@output a b c
+    tg = Tapir.@syncregion
+    Tapir.@sync begin
+        Tapir.@spawn begin
+            a = produce(111)
+            Tapir.@spawnin tg begin
+                b = produce(a + 222)
+            end
+        end
+        c = produce(333)
+    end
+    d = produce(a + c + 444)  # `b` not available here yet
+    Tapir.@sync_end tg
+    return (a, b, c, d)
+end
+
+function loop()
+    xs = zeros(Int, 4)
+    ys = zeros(Int, 4)
+
+    tg = Tapir.@syncregion
+    Tapir.@sync for i in eachindex(xs)
+        Tapir.@spawn begin
+            xs[i] = 2i
+            Tapir.@spawnin tg begin
+                ys[i] = 3i
+            end
+        end
+    end
+    s = sum(xs)  # `ys` not available here yet
+    Tapir.@sync_end tg
+    return (s, xs, ys)
+end
+
+end # module NonNestedSyncregions
+
 module CapturedToken
 using Base.Experimental: Tapir