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 a060e8a commit 075cdddCopy full SHA for 075cddd
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -353,7 +353,6 @@ object Types extends TypeUtils {
353
case tp: HKTypeLambda => false
354
case tp: TypeProxy => tp.superType.isSingletonBounded(frozen)
355
case tp: AndType => tp.tp1.isSingletonBounded(frozen) || tp.tp2.isSingletonBounded(frozen)
356
- case tp: OrType => tp.tp1.isSingletonBounded(frozen) && tp.tp2.isSingletonBounded(frozen)
357
case _ => false
358
359
/** Is this type of kind `AnyKind`? */
0 commit comments