Merge pull request #4413 from dotty-staging/fix-#4396

Fix #4396: Check level of owners of type parameters

Author: Aggelos Biboudis

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

@@ -245,7 +245,7 @@ class ReifyQuotes extends MacroTransformWithImplicits with InfoTransformer {
         l == level ||
         sym.is(Inline) && sym.owner.is(Macro) && sym.info.isValueType && l - 1 == level
       case None =>
-        level == 0
+        !sym.is(Param) || levelOK(sym.owner)
     }
 
     /** Issue a "splice outside quote" error unless we ar in the body of an inline method */

tests/pos/i4396a.scala

@@ -0,0 +1,3 @@
+class Test {
+  '(Option(4) match { case Some(a) => a; case None => 1 })
+}

tests/pos/i4396b.scala

@@ -0,0 +1,3 @@
+class Test {
+  '{ case class Foo() }
+}