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