microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-02-14 19:16:17 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Changing comment per CR feedback

Browse Source
This commit is contained in:
Anders Hejlsberg 2015-07-03 11:20:44 -07:00
parent 30d15a8d7c
commit 144a635bc5
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/compiler/checker.ts
View File

@ -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))) {