Use 'true' and 'false' types when contextual type is 'boolean'

ahejlsberg · mhegazy · commit 5c11d4c3493e · 2016-09-09T11:20:33.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -13467,7 +13467,7 @@ namespace ts {
                     return maybeTypeOfKind(contextualType, (TypeFlags.NumberLiteral | TypeFlags.EnumLiteral));
                 }
                 if (type.flags & TypeFlags.Boolean) {
-                    return maybeTypeOfKind(contextualType, TypeFlags.BooleanLiteral) && !isTypeAssignableTo(booleanType, contextualType);
+                    return maybeTypeOfKind(contextualType, TypeFlags.BooleanLiteral);
                 }
                 if (type.flags & TypeFlags.Enum) {
                     return typeContainsLiteralFromEnum(contextualType, <EnumType>type);

Original file line number	Diff line number	Diff line change
`@@ -13467,7 +13467,7 @@ namespace ts {`
`13467`	`13467`	`return maybeTypeOfKind(contextualType, (TypeFlags.NumberLiteral \| TypeFlags.EnumLiteral));`
`13468`	`13468`	`}`
`13469`	`13469`	`if (type.flags & TypeFlags.Boolean) {`
`13470`		`- return maybeTypeOfKind(contextualType, TypeFlags.BooleanLiteral) && !isTypeAssignableTo(booleanType, contextualType);`
	`13470`	`+ return maybeTypeOfKind(contextualType, TypeFlags.BooleanLiteral);`
`13471`	`13471`	`}`
`13472`	`13472`	`if (type.flags & TypeFlags.Enum) {`
`13473`	`13473`	`return typeContainsLiteralFromEnum(contextualType, <EnumType>type);`