Adjust no-loops-in-noSuchMethod example

eernstg · eernstg · commit a909bbe9441a · 2022-11-02T12:12:15.000+01:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -3236,7 +3236,7 @@ \subsubsection{The Method \code{noSuchMethod}}
 
 \begin{dartCode}
 \CLASS{} A \{
-  noSuchMethod(\COVARIANT{} Null n) => n;
+  noSuchMethod(\COVARIANT{} Never n) => n;
 \}
 \\
 \VOID{} main() \{
