Correct typo about extension specificity (#1598)

Author: eernstg

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:
 

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}