Add @switch annotion in Scanner

odersky · odersky · commit f67c1ea81a3b · 2020-10-02T16:09:29.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/parsing/Scanners.scala b/compiler/src/dotty/tools/dotc/parsing/Scanners.scala
@@ -565,7 +565,7 @@ object Scanners {
         lastOffset = prev.lastOffset
         lineOffset = prev.lineOffset
       }
-      token match {
+      (token: @switch) match {
         case CASE =>
           lookAhead()
           if (token == CLASS) fuse(CASECLASS)
@@ -601,8 +601,8 @@ object Scanners {
           if colonSyntax then observeColonEOL()
         case RBRACE | RPAREN | RBRACKET =>
           closeIndented()
-        case EOF if !source.maybeIncomplete =>
-          closeIndented()
+        case EOF =>
+          if !source.maybeIncomplete then closeIndented()
         case _ =>
       }
     }

Original file line number	Diff line number	Diff line change
`@@ -565,7 +565,7 @@ object Scanners {`
`565`	`565`	`lastOffset = prev.lastOffset`
`566`	`566`	`lineOffset = prev.lineOffset`
`567`	`567`	`}`
`568`		`- token match {`
	`568`	`+ (token: @switch) match {`
`569`	`569`	`case CASE =>`
`570`	`570`	`lookAhead()`
`571`	`571`	`if (token == CLASS) fuse(CASECLASS)`
`@@ -601,8 +601,8 @@ object Scanners {`
`601`	`601`	`if colonSyntax then observeColonEOL()`
`602`	`602`	`case RBRACE \| RPAREN \| RBRACKET =>`
`603`	`603`	`closeIndented()`
`604`		`- case EOF if !source.maybeIncomplete =>`
`605`		`- closeIndented()`
	`604`	`+ case EOF =>`
	`605`	`+ if !source.maybeIncomplete then closeIndented()`
`606`	`606`	`case _ =>`
`607`	`607`	`}`
`608`	`608`	`}`