No weak type checks with comparable relation

ahejlsberg · ahejlsberg · commit 2876b3caba38 · 2017-06-02T13:37:34.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -8815,7 +8815,8 @@ namespace ts {
                     }
                 }
 
-                if (!(source.flags & TypeFlags.UnionOrIntersection) &&
+                if (relation !== comparableRelation &&
+                    !(source.flags & TypeFlags.UnionOrIntersection) &&
                     !(target.flags & TypeFlags.Union) &&
                     !isIntersectionConstituent &&
                     source !== globalObjectType &&

Original file line number	Diff line number	Diff line change
`@@ -8815,7 +8815,8 @@ namespace ts {`
`8815`	`8815`	`}`
`8816`	`8816`	`}`
`8817`	`8817`
`8818`		`- if (!(source.flags & TypeFlags.UnionOrIntersection) &&`
	`8818`	`+ if (relation !== comparableRelation &&`
	`8819`	`+ !(source.flags & TypeFlags.UnionOrIntersection) &&`
`8819`	`8820`	`!(target.flags & TypeFlags.Union) &&`
`8820`	`8821`	`!isIntersectionConstituent &&`
`8821`	`8822`	`source !== globalObjectType &&`