From b68a61306020f1d153c611063de5dbb2db30715a Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Fri, 29 Sep 2023 18:18:31 +0200 Subject: [PATCH] Add comment about default values of noSuchMethod forwarders being underspecified --- specification/dartLangSpec.tex | 3 +++ 1 file changed, 3 insertions(+) diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex index b7eb2e99e3..f0265f3f08 100644 --- a/specification/dartLangSpec.tex +++ b/specification/dartLangSpec.tex @@ -3482,6 +3482,9 @@ \subsubsection{The Method \code{noSuchMethod}} %% in order to be able to say this precisely. A noSuchMethod forwarder is a concrete member of $C$ with the signature taken from the interface of $C$, +%% TODO: #3331 - The default values should be obtained from all declarations +%% that gave rise to this member signature in $C$, and it should be an error +%% when there are no default values or there are >=2 distinct default values. and with the same default value for each optional parameter. It can be invoked in an ordinary invocation and in a superinvocation, and when $m$ is a method it can be closurized