From 4c48a92e013d72a020f7efbfef8709c788642c28 Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Thu, 6 May 2021 10:36:07 +0200 Subject: [PATCH] New and more natural way to say the same thing --- specification/dartLangSpec.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex index 921ffdc3bc..30eb54d510 100644 --- a/specification/dartLangSpec.tex +++ b/specification/dartLangSpec.tex @@ -14545,7 +14545,8 @@ \subsubsection{Generic Method Instantiation} Let $i$ be a property extraction expression of the form \code{$e$?.\id}, \code{$e$.\id}, or \code{\SUPER.\id} (\ref{propertyExtraction}, \ref{superGetterAccessAndMethodClosurization}), -which is statically resolved to denote an instance method named \id, +which is statically resolved to denote an instance method named \id{} +that is not the \CALL{} method of a function type, and let $G$ be the static type of $i$. Consider the situation where $G$ is a function type of the form \RawFunctionType{T_0}{X}{B}{s}{\metavar{parameters}}