Fix comparison

odersky · odersky · commit 45ea6303b4e4 · 2015-11-16T15:57:25.000+01:00
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -488,7 +488,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
         case _ => tp2 isRef ObjectClass
       }
       compareJavaArray
-    case tp1: ExprType if ctx.phase.id >= ctx.gettersPhase.id =>
+    case tp1: ExprType if ctx.phase.id > ctx.gettersPhase.id =>
       // getters might have converted T to => T, need to compensate.
       isSubType(tp1.widenExpr, tp2)
     case _ =>

Original file line number	Diff line number	Diff line change
`@@ -488,7 +488,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {`
`488`	`488`	`case _ => tp2 isRef ObjectClass`
`489`	`489`	`}`
`490`	`490`	`compareJavaArray`
`491`		`- case tp1: ExprType if ctx.phase.id >= ctx.gettersPhase.id =>`
	`491`	`+ case tp1: ExprType if ctx.phase.id > ctx.gettersPhase.id =>`
`492`	`492`	`// getters might have converted T to => T, need to compensate.`
`493`	`493`	`isSubType(tp1.widenExpr, tp2)`
`494`	`494`	`case _ =>`