Changing comment per CR feedback

ahejlsberg · ahejlsberg · commit 144a635bc54b · 2015-07-03T11:20:44.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -4486,9 +4486,9 @@ namespace ts {
                         }
                     }
                     else {
-                        // A check of the form A | B = C & D can be satisfied either by having C be related to A | B,
-                        // D be related to A | B, C & D be related to A, or C & D be related to B. Thus, we need to
-                        // check both sides here.
+                        // It is necessary to try "each" checks on both sides because there may be nested "some" checks
+                        // on either side that need to be prioritized. For example, A | B = (A | B) & (C | D) or
+                        // A & B = (A & B) | (C & D).
                         if (source.flags & TypeFlags.Intersection) {
                             // If target is a union type the following check will report errors so we suppress them here
                             if (result = someTypeRelatedToType(<IntersectionType>source, target, reportErrors && !(target.flags & TypeFlags.Union))) {

Original file line number	Diff line number	Diff line change
`@@ -4486,9 +4486,9 @@ namespace ts {`
`4486`	`4486`	`}`
`4487`	`4487`	`}`
`4488`	`4488`	`else {`
`4489`		`- // A check of the form A \| B = C & D can be satisfied either by having C be related to A \| B,`
`4490`		`- // D be related to A \| B, C & D be related to A, or C & D be related to B. Thus, we need to`
`4491`		`- // check both sides here.`
	`4489`	`+ // It is necessary to try "each" checks on both sides because there may be nested "some" checks`
	`4490`	`+ // on either side that need to be prioritized. For example, A \| B = (A \| B) & (C \| D) or`
	`4491`	`+ // A & B = (A & B) \| (C & D).`
`4492`	`4492`	`if (source.flags & TypeFlags.Intersection) {`
`4493`	`4493`	`// If target is a union type the following check will report errors so we suppress them here`
`4494`	`4494`	`if (result = someTypeRelatedToType(<IntersectionType>source, target, reportErrors && !(target.flags & TypeFlags.Union))) {`