Skip to content

Commit 4b1adef

Browse files
committed
Assume dependent function refinements have a single refinement
1 parent 208c8c4 commit 4b1adef

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

compiler/src/dotty/tools/dotc/core/Types.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1509,7 +1509,7 @@ object Types {
15091509

15101510
/** Dealias, and if result is a dependent function type, drop the `apply` refinement. */
15111511
final def dropDependentRefinement(using Context): Type = dealias match {
1512-
case RefinedType(parent, nme.apply, mt) if defn.isNonRefinedFunction(parent) => parent
1512+
case RefinedType(parent, nme.apply, mt) if defn.isFunctionNType(parent) => parent
15131513
case tp => tp
15141514
}
15151515

0 commit comments

Comments
 (0)