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.
1 parent a32b6d4 commit a32667bCopy full SHA for a32667b
compiler/src/dotty/tools/dotc/cc/CaptureSet.scala
@@ -877,7 +877,7 @@ object CaptureSet:
877
case CapturingType(parent, refs) =>
878
recur(parent) ++ refs
879
case tpd @ RefinedType(parent, _, rinfo: MethodType)
880
- if followResult && defn.isFunctionType(tpd) =>
+ if followResult && defn.isFunctionNType(tpd) =>
881
ofType(parent, followResult = false) // pick up capture set from parent type
882
++ (recur(rinfo.resType) // add capture set of result
883
-- CaptureSet(rinfo.paramRefs.filter(_.isTracked)*)) // but disregard bound parameters
0 commit comments