Specify how to treat ambigious trailing block statement

ferrocene · Aug 7, 2023 · 727b38d · 727b38d
1 parent 96c347c
commit 727b38d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/expressions.rst b/src/expressions.rst
@@ -670,6 +670,11 @@ An :t:`anonymous block expression` is a :t:`block expression` without a
 A :t:`tail expression` is the last :t:`expression` within a :t:`block
 expression`.
 
+:dp:`fls_nf65p0l0v0gr`
+The last :t:`statement` of a :t:`block expression` is treated as the
+:t:`tail expression` if it consists of a :s:`ExpressionWithBlock` and the
+:t:`block expression` is lacking a :t:`tail expression`.
+
 :dp:`fls_u4gj2lnkq9ub`
 The :t:`type` of a :t:`block expression` is determined as follows: