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

ahejlsberg · ahejlsberg · commit dba310949f1f · 2016-08-27T09:50:23.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -13464,7 +13464,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
`@@ -13464,7 +13464,7 @@ namespace ts {`
`13464`	`13464`	`return maybeTypeOfKind(contextualType, (TypeFlags.NumberLiteral \| TypeFlags.EnumLiteral));`
`13465`	`13465`	`}`
`13466`	`13466`	`if (type.flags & TypeFlags.Boolean) {`
`13467`		`- return maybeTypeOfKind(contextualType, TypeFlags.BooleanLiteral) && !isTypeAssignableTo(booleanType, contextualType);`
	`13467`	`+ return maybeTypeOfKind(contextualType, TypeFlags.BooleanLiteral);`
`13468`	`13468`	`}`
`13469`	`13469`	`if (type.flags & TypeFlags.Enum) {`
`13470`	`13470`	`return typeContainsLiteralFromEnum(contextualType, <EnumType>type);`