Merge pull request #14066 from dotty-staging/fix-14061

Don't insert INDENT/UNINDENT without anything in between

Author: odersky

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

@@ -539,7 +539,7 @@ object Scanners {
            || nextWidth == lastWidth && (indentPrefix == MATCH || indentPrefix == CATCH) && token != CASE then
           if currentRegion.isOutermost then
             if nextWidth < lastWidth then currentRegion = topLevelRegion(nextWidth)
-          else if !isLeadingInfixOperator(nextWidth) && !statCtdTokens.contains(lastToken) then
+          else if !isLeadingInfixOperator(nextWidth) && !statCtdTokens.contains(lastToken) && lastToken != INDENT then
             currentRegion match
               case r: Indented =>
                 currentRegion = r.enclosing

tests/pos/i14061.scala

@@ -0,0 +1,10 @@
+def main(args: Array[String]): Unit =
+  val bar: PartialFunction[Throwable, Unit] =
+    case e: IllegalArgumentException => e.printStackTrace
+    case e: Throwable => e.printStackTrace
+  try
+    println("a")
+  catch
+    bar
+  finally
+    println("a")