Revert "Check assignable-to before definitely-assignable-to"

ahejlsberg · ahejlsberg · commit 5523c850bb5b · 2020-07-13T19:30:14.000-07:00
This reverts commit 2eb3111.
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -15013,7 +15013,7 @@ namespace ts {
         }
 
         function isTypeDefinitelyAssignableTo(source: Type, target: Type): boolean {
-            return isTypeAssignableTo(source, target) && isTypeRelatedTo(source, target, definitelyAssignableRelation);
+            return isTypeRelatedTo(source, target, definitelyAssignableRelation);
         }
 
         // An object type S is considered to be derived from an object type T if

Original file line number	Diff line number	Diff line change
`@@ -15013,7 +15013,7 @@ namespace ts {`
`15013`	`15013`	`}`
`15014`	`15014`
`15015`	`15015`	`function isTypeDefinitelyAssignableTo(source: Type, target: Type): boolean {`
`15016`		`- return isTypeAssignableTo(source, target) && isTypeRelatedTo(source, target, definitelyAssignableRelation);`
	`15016`	`+ return isTypeRelatedTo(source, target, definitelyAssignableRelation);`
`15017`	`15017`	`}`
`15018`	`15018`
`15019`	`15019`	`// An object type S is considered to be derived from an object type T if`