We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 380bd1b commit 33c8b60Copy full SHA for 33c8b60
compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -3016,7 +3016,7 @@ object TypeComparer {
3016
extension (s: Repr)
3017
inline def combinedWith(that: Repr): Repr = s min that
3018
3019
- inline def bothHaveOr(s1: Repr, s2: Repr): Boolean = ~(s1 | s2 & NotHasOr) != 0
+ inline def bothHaveOr(s1: Repr, s2: Repr): Boolean = ~((s1 | s2) & NotHasOr) != 0
3020
inline def bothCovered(s1: Repr, s2: Repr): Boolean = (s1 & s2 & IsCovered) != 0
3021
end CoveredStatus
3022
type CoveredStatus = CoveredStatus.Repr
0 commit comments