From 7aea1e03a92c260e6d90714b177aca6ce281e139 Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Mon, 11 Sep 2023 15:38:59 +0200
Subject: [PATCH] Add missing declaration kind about getter/setter type error

---
 specification/dartLangSpec.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index b30ce48e10..2f693cae91 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -3842,7 +3842,8 @@ \subsection{Setters}
 \LMHash{}%
 It is a
 \Error{compile-time error} if a setter declares a return type other than \VOID.
-It is a \Error{compile-time error} if a class has
+%% TODO(eernst): Come Dart 3, add 'mixin class', later: 'extension type'.
+It is a \Error{compile-time error} if a library, class, mixin, or extension has
 a setter named \code{$v$=} with argument type $T$ and
 a getter named $v$ with return type $S$,
 and $S$ is not a subtype of $T$.