Skip to content

Commit 3edca93

Browse files
committed
Add comment about default values of noSuchMethod forwarders being underspecified
1 parent 01031da commit 3edca93

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

specification/dartLangSpec.tex

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3543,6 +3543,9 @@ \subsubsection{The Method \code{noSuchMethod}}
35433543
%% in order to be able to say this precisely.
35443544
A noSuchMethod forwarder is a concrete member of $C$
35453545
with the signature taken from the interface of $C$,
3546+
%% TODO: #3331 - The default values should be obtained from all declarations
3547+
%% that gave rise to this member signature in $C$, and it should be an error
3548+
%% when there are no default values or there are >=2 distinct default values.
35463549
and with the same default value for each optional parameter.
35473550
It can be invoked in an ordinary invocation and in a superinvocation,
35483551
and when $m$ is a method it can be closurized

0 commit comments

Comments
 (0)