Relax postcondition to allow the compilation of scala.quoted.Type

Author: nicolasstucki

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

@@ -66,7 +66,7 @@ class Staging extends MacroTransform {
         case tpe @ TypeRef(prefix, _) if tpe.typeSymbol eq defn.QuotedType_splice =>
           // Type splices must have a know term ref, usually to an implicit argument
           // This is mostly intended to catch `quoted.Type[T]#splice` types which should just be `T`
-          assert(prefix.isInstanceOf[TermRef], prefix)
+          assert(prefix.isInstanceOf[TermRef] || prefix.isInstanceOf[ThisType], prefix)
         case _ =>
           // OK
       }