Drop NewLineSignificantRegion

Author: odersky

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -650,12 +650,11 @@ object Parsers {
 
     /** Check that this is not the start of a statement that's indented relative to the current region.
      */
-    def checkNextNotIndented(): Unit = in.currentRegion match
-      case r: NewLineSignificantRegion if in.isNewLine =>
+    def checkNextNotIndented(): Unit =
+      if in.isNewLine then
         val nextIndentWidth = in.indentWidth(in.next.offset)
-        if r.indentWidth < nextIndentWidth then
+        if in.currentRegion.indentWidth < nextIndentWidth then
           warning(i"Line is indented too far to the right, or a `{` or `:` is missing", in.next.offset)
-      case _ =>
 
 /* -------- REWRITES ----------------------------------------------------------- */
 

compiler/src/dotty/tools/dotc/parsing/Scanners.scala

@@ -1399,19 +1399,16 @@ object Scanners {
       if knownWidth == null then IndentWidth.Zero else knownWidth
   end Region
 
-  trait NewLineSignificantRegion extends Region
-
   case class InString(multiLine: Boolean, outer: Region) extends Region
   case class InParens(prefix: Token, outer: Region) extends Region
-  case class InBraces(outer: Region) extends NewLineSignificantRegion
+  case class InBraces(outer: Region) extends Region
 
   /** A class describing an indentation region.
    *  @param width   The principal indendation width
    *  @param others  Other indendation widths > width of lines in the same region
    *  @param prefix  The token before the initial <indent> of the region
    */
-  case class Indented(width: IndentWidth, others: Set[IndentWidth], prefix: Token, outer: Region | Null)
-  extends NewLineSignificantRegion:
+  case class Indented(width: IndentWidth, others: Set[IndentWidth], prefix: Token, outer: Region | Null) extends Region:
     knownWidth = width
 
   enum IndentWidth {