Keep isErasedFunction in CaptureOps

Author: natsukagami

compiler/src/dotty/tools/dotc/cc/CaptureOps.scala

@@ -146,7 +146,7 @@ extension (tp: Type)
       defn.FunctionType(
         fname.functionArity,
         isContextual = fname.isContextFunction,
-        isErased = fname.isErasedFunction, // TODO @natsukagami fix this
+        isErased = fname.isErasedFunction, // fine as AppliedType(_, _) already unwrapped the refinement away
         isImpure = true).appliedTo(args)
     case _ =>
       tp