Skip to content

Commit

Permalink
Add missing declaration kind about getter/setter type error
Browse files Browse the repository at this point in the history
  • Loading branch information
eernstg committed Sep 29, 2023
1 parent acf5506 commit 7aea1e0
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion specification/dartLangSpec.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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$.
Expand Down

0 comments on commit 7aea1e0

Please sign in to comment.