From 3919306915bd1c86d224da6a21ea96e13719db34 Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Tue, 1 Oct 2024 18:06:44 +0200
Subject: [PATCH 1/3] Clarify extension member resolution

---
 specification/dartLangSpec.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 15a9da304..b78e575ba 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -41,6 +41,9 @@
 % version of the language which will actually be specified by the next stable
 % release of this document.
 %
+% Sep 2024
+% - Clarify extension member invocation rule.
+%
 % Jun 2024
 % - Add missing references to section 'Type dynamic' at the points where the
 %   static analysis of Object member invocations is specified.
@@ -6661,7 +6664,7 @@ \subsubsection{Applicability of an Extension}
     because they do not have a type.%
   }
 \item
-  The type $S$ does not have a member with the basename $m$,
+  The type $S$ does not have an instance member with the basename $m$,
   and $S$ is neither \DYNAMIC{} nor \code{Never}.
 
   \commentary{%

From 3ac715cf2d05fd45446a743905b233a8d8271b0c Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Tue, 1 Oct 2024 18:14:24 +0200
Subject: [PATCH 2/3] WIP

---
 specification/dartLangSpec.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index b78e575ba..afbae1d4d 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -42,7 +42,9 @@
 % release of this document.
 %
 % Sep 2024
-% - Clarify extension member invocation rule.
+% - Clarify the extension applicability rule to explicitly state that it
+%   is concerned with an instance member with the same basename, not a
+%   static member..
 %
 % Jun 2024
 % - Add missing references to section 'Type dynamic' at the points where the

From 8c4c95b04856aca141c5318cff60e87eb0c91feb Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Tue, 1 Oct 2024 18:14:43 +0200
Subject: [PATCH 3/3] WIP

---
 specification/dartLangSpec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index afbae1d4d..8615bc9f7 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -44,7 +44,7 @@
 % Sep 2024
 % - Clarify the extension applicability rule to explicitly state that it
 %   is concerned with an instance member with the same basename, not a
-%   static member..
+%   static member.
 %
 % Jun 2024
 % - Add missing references to section 'Type dynamic' at the points where the