Removed unnecessary (and restrictive) case for AppliedTermRefs in fourthTry() of TypeComparer.

gsps · gsps · commit 84977a0e35e5 · 2018-01-23T23:22:24.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -614,8 +614,6 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
       }
     case tp1 @ AppliedType(tycon1, args1) =>
       compareAppliedType1(tp1, tycon1, args1, tp2)
-    case tp1: AppliedTermRef =>
-      isSubType(tp1.resType, tp2)
     case tp1: SingletonType =>
       /** if `tp2 == p.type` and `p: q.type` then try `tp1 <:< q.type` as a last effort.*/
       def comparePaths = tp2 match {

Original file line number	Diff line number	Diff line change
`@@ -614,8 +614,6 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {`
`614`	`614`	`}`
`615`	`615`	`case tp1 @ AppliedType(tycon1, args1) =>`
`616`	`616`	`compareAppliedType1(tp1, tycon1, args1, tp2)`
`617`		`- case tp1: AppliedTermRef =>`
`618`		`- isSubType(tp1.resType, tp2)`
`619`	`617`	`case tp1: SingletonType =>`
`620`	`618`	/** if `tp2 == p.type` and `p: q.type` then try `tp1 <:< q.type` as a last effort.*/
`621`	`619`	`def comparePaths = tp2 match {`