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 e676508 commit a8bc72aCopy full SHA for a8bc72a
compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala
@@ -171,9 +171,9 @@ object CheckCaptures:
171
172
// Check the lower bound of path dependent types.
173
// See issue #19330.
174
- val isTypeParam = t.prefix eq NoPrefix
+ val isMember = t.prefix eq NoPrefix
175
t.info match
176
- case TypeBounds(lo, hi) if !isTypeParam => traverse(lo)
+ case TypeBounds(lo, _) if !isMember => traverse(lo)
177
case _ =>
178
case AnnotatedType(_, ann) if ann.symbol == defn.UncheckedCapturesAnnot =>
179
()
0 commit comments