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 eaf441c commit 43b1626Copy full SHA for 43b1626
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