Adjust no-loops-in-noSuchMethod example

eernstg · eernstg · commit c5f27c5303bb · 2022-12-09T19:54:32.000+01:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -3237,7 +3237,7 @@ \subsubsection{The Method \code{noSuchMethod}}
 
 \begin{dartCode}
 \CLASS{} A \{
-  noSuchMethod(\COVARIANT{} Null n) => n;
+  noSuchMethod(\COVARIANT{} Never n) => n;
 \}
 \\
 \VOID{} main() \{
