Adjust no-loops-in-noSuchMethod example

eernstg · eernstg · commit f17313d427fc · 2023-09-29T15:48:54.000+02:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -3434,7 +3434,7 @@ \subsubsection{The Method \code{noSuchMethod}}
 
 \begin{dartCode}
 \CLASS{} A \{
-  noSuchMethod(\COVARIANT{} Null n) => n;
+  noSuchMethod(\COVARIANT{} Never n) => n;
 \}
 \\
 \VOID{} main() \{
