From 9b8eb7202d56e872cb97c155762312779d4b6cfb Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Wed, 5 Jul 2023 15:52:25 +0200 Subject: [PATCH] Add commentary to emphasize that `new`/`const` can be implicit, and `new/const C()` is still an error when `C` is super-bounded --- specification/dartLangSpec.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex index 59d666ef31..1098a38e4d 100644 --- a/specification/dartLangSpec.tex +++ b/specification/dartLangSpec.tex @@ -7634,7 +7634,9 @@ \subsection{Super-Bounded Types} \commentary{% This includes the case where the actual type arguments have been provided by type inference, which is assumed to have taken place already - (\ref{typeInference}).% + (\ref{typeInference}). + It also includes the case where \NEW{} or \CONST{} is added implicitly + (\ref{unqualifiedInvocation}, \ref{functionExpressionInvocation}).% } \item $T$ occurs in the \synt{constructorDesignation} of a redirecting factory constructor header