Add commentary to emphasize that new/const can be implicit, and `…

…new/const C<T>()` is still an error when `C<T>` is super-bounded
dart-lang · Jul 5, 2023 · 9b8eb72 · 9b8eb72
1 parent a0e2100
commit 9b8eb72
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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