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