refutable pattern matches make errors

Author: bishabosha

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

@@ -2672,7 +2672,7 @@ object Parsers {
       atSpan(startOffset(pat), accept(LARROW)) {
         val checkMode =
           if casePat then GenCheckMode.FilterAlways
-          else if sourceVersion.isAtLeast(`future`) then GenCheckMode.Check
+          else if sourceVersion.isAtLeast(`3.3`) then GenCheckMode.Check
           else if sourceVersion.isAtLeast(`3.2`) then GenCheckMode.CheckAndFilter
           else GenCheckMode.FilterNow  // filter on source version < 3.2, for backward compat
         GenFrom(pat, subExpr(), checkMode)

compiler/src/dotty/tools/dotc/typer/Checking.scala

@@ -870,7 +870,7 @@ trait Checking {
               |
               |If $usage is intentional, this can be communicated by $fix,
               |which $addendum.$rewriteMsg"""),
-        pos, warnFrom = `3.2`, errorFrom = `future`)
+        pos, warnFrom = `3.2`, errorFrom = `3.3`)
       false
     }
 

tests/run-macros/f-interpolator-tests.scala

@@ -394,7 +394,7 @@ object StringContextTestUtils:
   private val decimalSeparator: Char = new DecimalFormat().getDecimalFormatSymbols().getDecimalSeparator()
   private val numberPattern = """(\d+)\.(\d+.*)""".r
   private def applyProperLocale(number: String): String =
-    val numberPattern(intPart, fractionalPartAndSuffix) = number
+    val numberPattern(intPart, fractionalPartAndSuffix) = number: @unchecked
     s"$intPart$decimalSeparator$fractionalPartAndSuffix"
 
   extension (sc: StringContext)