Skip to content

Commit 6d988a6

Browse files
committed
Add comment about default values of noSuchMethod forwarders being underspecified
1 parent 8893206 commit 6d988a6

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
@@ -3539,6 +3539,9 @@ \subsubsection{The Method \code{noSuchMethod}}
35393539
%% in order to be able to say this precisely.
35403540
A noSuchMethod forwarder is a concrete member of $C$
35413541
with the signature taken from the interface of $C$,
3542+
%% TODO: #3331 - The default values should be obtained from all declarations
3543+
%% that gave rise to this member signature in $C$, and it should be an error
3544+
%% when there are no default values or there are >=2 distinct default values.
35423545
and with the same default value for each optional parameter.
35433546
It can be invoked in an ordinary invocation and in a superinvocation,
35443547
and when $m$ is a method it can be closurized

0 commit comments

Comments
 (0)