Merge pull request #4893 from dotty-staging/fix-#4890

Fix #4890: Mark level of pattern bindings

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/ReifyQuotes.scala

@@ -559,6 +559,16 @@ class ReifyQuotes extends MacroTransformWithImplicits {
             val last = enteredSyms
             stats.foreach(markDef)
             mapOverTree(last)
+          case CaseDef(pat, guard, body) =>
+            val last = enteredSyms
+            // mark all bindings
+            new TreeTraverser {
+              def traverse(tree: Tree)(implicit ctx: Context): Unit = {
+                markDef(tree)
+                traverseChildren(tree)
+              }
+            }.traverse(pat)
+            mapOverTree(last)
           case _: Import =>
             tree
           case tree: DefDef if tree.symbol.is(Macro) && level == 0 =>

tests/neg/i4890.scala

@@ -0,0 +1,8 @@
+import scala.quoted._
+
+object Test {
+  def toExpr(x: Option[String]): Expr[String] = x match {
+    case Some(s) =>
+      '(s)  // error
+  }
+}