Skip to content

Commit

Permalink
Apply suggestions from code review
Browse files Browse the repository at this point in the history
  • Loading branch information
odersky authored Feb 15, 2024
1 parent 920bf44 commit d539d89
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala
Original file line number Diff line number Diff line change
Expand Up @@ -151,9 +151,9 @@ object CheckCaptures:

// Check the lower bound of path dependent types.
// See issue #19330.
val isMember = t.prefix eq NoPrefix
val isMember = t.prefix ne NoPrefix
t.info match
case TypeBounds(lo, _) if !isMember => traverse(lo)
case TypeBounds(lo, _) if isMember => traverse(lo)
case _ =>
case AnnotatedType(_, ann) if ann.symbol == defn.UncheckedCapturesAnnot =>
()
Expand Down

0 comments on commit d539d89

Please sign in to comment.