Fix term level check

Author: nicolasstucki

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

@@ -151,7 +151,7 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
             case prefix: TermRef if tp.symbol.isSplice =>
               // Heal explice type splice in the code
               if level > 0 then getQuoteTypeTags.getTagRef(prefix) else tp
-            case prefix: TermRef if !prefix.symbol.isStatic && level != levelOf(prefix.symbol) =>
+            case prefix: TermRef if !prefix.symbol.isStatic && level > levelOf(prefix.symbol) =>
               tryHeal(tp.symbol, tp, pos)
             case _ =>
               mapOver(tp)