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 920bf44 commit d539d89Copy full SHA for d539d89
compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala
@@ -151,9 +151,9 @@ object CheckCaptures:
151
152
// Check the lower bound of path dependent types.
153
// See issue #19330.
154
- val isMember = t.prefix eq NoPrefix
+ val isMember = t.prefix ne NoPrefix
155
t.info match
156
- case TypeBounds(lo, _) if !isMember => traverse(lo)
+ case TypeBounds(lo, _) if isMember => traverse(lo)
157
case _ =>
158
case AnnotatedType(_, ann) if ann.symbol == defn.UncheckedCapturesAnnot =>
159
()
0 commit comments