Skip to content

Commit 075cddd

Browse files
noti0na1tgodzik
authored andcommitted
Fix logic in isSingletonBounded for OrType case
[Cherry-picked f14fa10]
1 parent a060e8a commit 075cddd

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

compiler/src/dotty/tools/dotc/core/Types.scala

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -353,7 +353,6 @@ object Types extends TypeUtils {
353353
case tp: HKTypeLambda => false
354354
case tp: TypeProxy => tp.superType.isSingletonBounded(frozen)
355355
case tp: AndType => tp.tp1.isSingletonBounded(frozen) || tp.tp2.isSingletonBounded(frozen)
356-
case tp: OrType => tp.tp1.isSingletonBounded(frozen) && tp.tp2.isSingletonBounded(frozen)
357356
case _ => false
358357

359358
/** Is this type of kind `AnyKind`? */

0 commit comments

Comments
 (0)