We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fc4867e commit ae09ac2Copy full SHA for ae09ac2
src/dotty/tools/dotc/core/TypeOps.scala
@@ -266,7 +266,7 @@ trait TypeOps { this: Context => // TODO: Make standalone object.
266
val accu1 = if (accu exists (_ derivesFrom c)) accu else c :: accu
267
if (cs == c.baseClasses) accu1 else dominators(rest, accu1)
268
}
269
- def approximateOr(tp1: Type, tp2: Type)(implicit ctx: Context): Type = {
+ def approximateOr(tp1: Type, tp2: Type): Type = {
270
def isClassRef(tp: Type): Boolean = tp match {
271
case tp: TypeRef => tp.symbol.isClass
272
case tp: RefinedType => isClassRef(tp.parent)
0 commit comments