Disable match anaylsis in inlined trees (#19190)

scala · Dec 4, 2023 · a3854cb · a3854cb
2 parents 7a56da7 + c0e93f1
commit a3854cb
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 3 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/PatternMatcher.scala b/compiler/src/dotty/tools/dotc/transform/PatternMatcher.scala
@@ -35,6 +35,13 @@ class PatternMatcher extends MiniPhase {
 
   override def runsAfter: Set[String] = Set(ElimRepeated.name)
 
+  private val InInlinedCode = new util.Property.Key[Boolean]
+  private def inInlinedCode(using Context) = ctx.property(InInlinedCode).getOrElse(false)
+
+  override def prepareForInlined(tree: Inlined)(using Context): Context =
+    if inInlinedCode then ctx
+    else ctx.fresh.setProperty(InInlinedCode, true)
+
   override def transformMatch(tree: Match)(using Context): Tree =
     if (tree.isInstanceOf[InlineMatch]) tree
     else {
@@ -46,9 +53,10 @@ class PatternMatcher extends MiniPhase {
         case rt => tree.tpe
       val translated = new Translator(matchType, this).translateMatch(tree)
 
-      // check exhaustivity and unreachability
-      SpaceEngine.checkExhaustivity(tree)
-      SpaceEngine.checkRedundancy(tree)
+      if !inInlinedCode then
+        // check exhaustivity and unreachability
+        SpaceEngine.checkExhaustivity(tree)
+        SpaceEngine.checkRedundancy(tree)
 
       translated.ensureConforms(matchType)
     }

diff --git a/tests/pos/i19157.scala b/tests/pos/i19157.scala
@@ -0,0 +1,11 @@
+//> using options -Werror
+
+class Test:
+  inline def count(inline x: Boolean) = x match
+    case true => 1
+    case false => 0
+
+  assert(count(true) == 1)
+  assert(count(false) == 0)
+  var x = true
+  assert(count(x) == 1)