Adjust no-loops-in-noSuchMethod example

eernstg · eernstg · commit a320697c1d3a · 2023-07-19T18:22:48.000+02:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -3414,7 +3414,7 @@ \subsubsection{The Method \code{noSuchMethod}}
 
 \begin{dartCode}
 \CLASS{} A \{
-  noSuchMethod(\COVARIANT{} Null n) => n;
+  noSuchMethod(\COVARIANT{} Never n) => n;
 \}
 \\
 \VOID{} main() \{
