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

gsps · gsps · commit 2e159c3e162b · 2018-02-04T19:27:54.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -603,8 +603,6 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
         }
       case tp1 @ AppliedType(tycon1, args1) =>
         compareAppliedType1(tp1, tycon1, args1)
-      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
`@@ -603,8 +603,6 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {`
`603`	`603`	`}`
`604`	`604`	`case tp1 @ AppliedType(tycon1, args1) =>`
`605`	`605`	`compareAppliedType1(tp1, tycon1, args1)`
`606`		`- case tp1: AppliedTermRef =>`
`607`		`- isSubType(tp1.resType, tp2)`
`608`	`606`	`case tp1: SingletonType =>`
`609`	`607`	/** if `tp2 == p.type` and `p: q.type` then try `tp1 <:< q.type` as a last effort.*/
`610`	`608`	`def comparePaths = tp2 match {`