We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
RefinedFunctionOf
FunctionOrMethod
1 parent af61b3a commit 6d5d4ddCopy full SHA for 6d5d4dd
compiler/src/dotty/tools/dotc/cc/Capability.scala
@@ -703,7 +703,7 @@ object Capabilities:
703
this(CapturingType(parent1, ann.tree.toCaptureSet))
704
else
705
t.derivedAnnotatedType(parent1, ann)
706
- case t @ FunctionOrMethod(_, _) if t.isAliasFun =>
+ case defn.RefinedFunctionOf(_) =>
707
t // stop at dependent function types
708
case _ =>
709
mapFollowingAliases(t)
0 commit comments