Use isRefinedFunctionType in place of poly || erased

Author: natsukagami

compiler/src/dotty/tools/dotc/ast/TreeInfo.scala

@@ -960,9 +960,7 @@ trait TypedTreeInfo extends TreeInfo[Type] { self: Trees.Instance[Type] =>
       && tree.isTerm
       && {
         val qualType = tree.qualifier.tpe
-        hasRefinement(qualType) &&
-          !qualType.derivesFrom(defn.PolyFunctionClass) &&
-          !defn.isErasedFunctionType(qualType)
+        hasRefinement(qualType) && !defn.isRefinedFunctionType(qualType)
       }
     def loop(tree: Tree): Boolean = tree match
       case TypeApply(fun, _) =>