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 11, 2023
1 parent e922a06 commit 04f0430
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 @@ -3837,7 +3837,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 04f0430

Please sign in to comment.