From 30d0da7bb8aafd2a1ff992b121dc688115b68e57 Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Fri, 30 Sep 2022 18:32:16 +0200
Subject: [PATCH] Improved the local variable section similarly
---
specification/dartLangSpec.tex | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index b856f10e7..f875180a1 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -17651,7 +17651,7 @@ \subsection{Local Variable Declaration}
The properties of being
\IndexCustom{initialized}{variable!initialized},
\IndexCustom{constant}{variable!constant},
-\IndexCustom{final}{variable!final}, and
+\IndexCustom{immutable}{variable!immutable}, and
\IndexCustom{mutable}{variable!mutable}
apply to local variables with the same definitions as for other variables
(\ref{variables}).
@@ -17740,10 +17740,9 @@ \subsection{Local Variable Declaration}
Similarly, an expression that gives rise to an assignment to $v$
is a compile-time error unless flow analysis shows that
it is guaranteed that the variable has \emph{not} been initialized.%
-}
-\commentary{%
-It is a compile-time error to assign to a local variable
+In every situation which is not covered by the previous paragraph,
+it is a compile-time error to assign to a local variable
which is \FINAL{} and not \LATE{}
(\ref{assignment}).%
}