Check mapped type constraint is assignable to string | number

ahejlsberg · ahejlsberg · commit aca1ab3bfe48 · 2016-11-10T10:41:17.000-08:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -15316,11 +15316,12 @@ namespace ts {
         }
 
         function checkMappedType(node: MappedTypeNode) {
-            getTypeFromMappedTypeNode(node);
-            // const type = <MappedType>getTypeFromMappedTypeNode(node);
-            // const constraintType = getConstraintTypeFromMappedType(type);
-            // const keyType = constraintType.flags & TypeFlags.TypeParameter ? getApparentTypeOfTypeParameter(<TypeParameter>constraintType) : constraintType;
-            // checkTypeAssignableTo(keyType, stringOrNumberType, node.typeParameter.constraint);
+            checkSourceElement(node.typeParameter);
+            checkSourceElement(node.type);
+            const type = <MappedType>getTypeFromMappedTypeNode(node);
+            const constraintType = getConstraintTypeFromMappedType(type);
+            const keyType = constraintType.flags & TypeFlags.TypeParameter ? getApparentTypeOfTypeParameter(<TypeParameter>constraintType) : constraintType;
+            checkTypeAssignableTo(keyType, stringOrNumberType, node.typeParameter.constraint);
         }
 
         function isPrivateWithinAmbient(node: Node): boolean {
