From d3be022f33fa4d9f5552a12cac260b08e648d745 Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Fri, 23 Apr 2021 09:36:42 +0200
Subject: [PATCH] Correct typo about extension specificity

---
 accepted/2.7/static-extension-methods/feature-specification.md | 2 +-
 specification/dartLangSpec.tex                                 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/accepted/2.7/static-extension-methods/feature-specification.md b/accepted/2.7/static-extension-methods/feature-specification.md
index ec570c660c..bd28fa722b 100644
--- a/accepted/2.7/static-extension-methods/feature-specification.md
+++ b/accepted/2.7/static-extension-methods/feature-specification.md
@@ -293,7 +293,7 @@ extension SmartList<T> on List<T> {
   x.doTheSmartThing(print);
 ```
 
-Here both the extensions apply, but the `SmartList` extension is more specific than the `SmartIterable` extension because `List<dynamic>` &lt;: `Iterable<dynamic>`.
+Here both the extensions apply, but the `SmartList` extension is more specific than the `SmartIterable` extension because `List<int>` &lt;: `Iterable<int>`.
 
 Example:
 
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 2e037491ed..921ffdc3bc 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -6207,7 +6207,7 @@ \subsubsection{Specificity of an Extension}
 \commentary{%
 Here both of the extensions apply,
 but \code{ExtendList} is more specific than \code{ExtendIterable} because
-\SubtypeNE{\code{List<dynamic>}}{\code{Iterable<dynamic>}}.%
+\SubtypeNE{\code{List<int>}}{\code{Iterable<int>}}.%
 }
 
 \begin{dartCode}