tsc-ts 0.0.10 → 0.1.0

package/dist/api/compiler/checker-object-literals.js

@@ -20,6 +20,7 @@ import { getApparentTypeOfContextualType, getInferenceContext, popContextualType
 import { addIntraExpressionInferenceSite } from './checker-inference.js';
 import { isEmptyObjectType } from './checker-type-factory.js';
 import { getTypeOfExpandoObjectLiteral, isJSObjectLiteral } from './checker-javascript.js';
+import { checkNodeDeferred } from './checker-source-file.js';
 import { copyDeclarations, declarationCount, getDeclarations, getSymbolId, internalSymbolNamePrefix, setDeclarations, } from './symbol.js';
 /** Builds the type of the members collected since the last spread. */
 class ObjectLiteralBuilder {
@@ -80,6 +81,8 @@ export function checkObjectLiteral(c, node, checkMode) {
     const expandoType = getTypeOfExpandoObjectLiteral(c, node);
     if (expandoType !== undefined)
         return expandoType;
+    // Deprecated properties of the contextual type are reported once the file is checked.
+    checkNodeDeferred(c, node);
     const inDestructuringPattern = isAssignmentTarget(node);
     checkGrammarObjectLiteralOfExpression(c, node, inDestructuringPattern);
     const allProperties = c.strictNullChecks ? new Map() : undefined;
@@ -92,40 +95,40 @@ export function checkObjectLiteral(c, node, checkMode) {
     const contextualType = getApparentTypeOfContextualType(c, node);
     const contextualPattern = contextualType !== undefined ? c.patternForType.get(contextualType) : undefined;
     const contextualTypeHasPattern = contextualPattern !== undefined &&
-        (contextualPattern.kind === 207 /* SyntaxKind.ObjectBindingPattern */ ||
-            contextualPattern.kind === 211 /* SyntaxKind.ObjectLiteralExpression */);
+        (contextualPattern.kind === 208 /* SyntaxKind.ObjectBindingPattern */ ||
+            contextualPattern.kind === 212 /* SyntaxKind.ObjectLiteralExpression */);
     let spread = c.emptyObjectType;
     const elements = getProperties(node).nodes;
     // Computed names are checked up front: a spread may bail out before the member is reached.
     for (const e of elements) {
         const name = getName(e);
-        if (name !== undefined && name.kind === 168 /* SyntaxKind.ComputedPropertyName */)
+        if (name !== undefined && name.kind === 169 /* SyntaxKind.ComputedPropertyName */)
             checkComputedPropertyName(c, name);
     }
     for (const memberDecl of elements) {
         let member = getSymbolOfDeclaration(c, memberDecl);
         const name = getName(memberDecl);
-        const computedNameType = name !== undefined && name.kind === 168 /* SyntaxKind.ComputedPropertyName */
+        const computedNameType = name !== undefined && name.kind === 169 /* SyntaxKind.ComputedPropertyName */
             ? checkComputedPropertyName(c, name)
             : undefined;
-        if (memberDecl.kind === 303 /* SyntaxKind.PropertyAssignment */ ||
-            memberDecl.kind === 304 /* SyntaxKind.ShorthandPropertyAssignment */ ||
-            memberDecl.kind === 175 /* SyntaxKind.MethodDeclaration */) {
+        if (memberDecl.kind === 304 /* SyntaxKind.PropertyAssignment */ ||
+            memberDecl.kind === 305 /* SyntaxKind.ShorthandPropertyAssignment */ ||
+            memberDecl.kind === 176 /* SyntaxKind.MethodDeclaration */) {
             let t;
-            if (memberDecl.kind === 303 /* SyntaxKind.PropertyAssignment */)
+            if (memberDecl.kind === 304 /* SyntaxKind.PropertyAssignment */)
                 t = checkPropertyAssignment(c, memberDecl, checkMode);
-            else if (memberDecl.kind === 304 /* SyntaxKind.ShorthandPropertyAssignment */)
+            else if (memberDecl.kind === 305 /* SyntaxKind.ShorthandPropertyAssignment */)
                 t = checkShorthandPropertyAssignment(c, memberDecl, inDestructuringPattern, checkMode);
             else
                 t = getTypeOfObjectLiteralMethod(c, memberDecl, checkMode);
             if ((checkMode & 2 /* CheckMode.Inferential */) !== 0 &&
                 (checkMode & 4 /* CheckMode.SkipContextSensitive */) === 0 &&
-                (memberDecl.kind === 303 /* SyntaxKind.PropertyAssignment */ || memberDecl.kind === 175 /* SyntaxKind.MethodDeclaration */) &&
+                (memberDecl.kind === 304 /* SyntaxKind.PropertyAssignment */ || memberDecl.kind === 176 /* SyntaxKind.MethodDeclaration */) &&
                 isContextSensitive(c, memberDecl)) {
                 // Inferences flowing between context-sensitive members are made before fixing.
                 const inferenceContext = getInferenceContext(c, node);
                 if (inferenceContext !== undefined)
-                    addIntraExpressionInferenceSite(inferenceContext, memberDecl.kind === 303 /* SyntaxKind.PropertyAssignment */
+                    addIntraExpressionInferenceSite(inferenceContext, memberDecl.kind === 304 /* SyntaxKind.PropertyAssignment */
                         ? memberDecl.initializer
                         : memberDecl, t);
             }
@@ -133,7 +136,7 @@ export function checkObjectLiteral(c, node, checkMode) {
                 continue;
             builder.objectFlags |= t.objectFlags & 458752 /* ObjectFlags.PropagatingFlags */;
             const nameType = computedNameType !== undefined && isTypeUsableAsPropertyName(computedNameType) ? computedNameType : undefined;
-            const prop = c.newSymbolWithCheckFlags(4 /* SymbolFlags.Property */ | member.flags, nameType !== undefined ? getPropertyNameFromType(nameType) : member.name, checkFlags | (nameType !== undefined ? 4096 /* CheckFlags.Late */ : 0));
+            const prop = c.newSymbolWithCheckFlags(4 /* SymbolFlags.Property */ | member.flags, nameType !== undefined ? getPropertyNameFromType(nameType) : member.name, checkFlags | (nameType !== undefined ? 32768 /* CheckFlags.Late */ : 0));
             const id = getSymbolId(prop);
             if (nameType !== undefined)
                 c.symbolNameTypes.set(id, nameType);
@@ -147,7 +150,7 @@ export function checkObjectLiteral(c, node, checkMode) {
                 if (impliedProp !== undefined)
                     prop.flags |= impliedProp.flags & 16777216 /* SymbolFlags.Optional */;
                 else if (getIndexInfoOfType(c, contextualType, c.stringType) === undefined)
-                    c.error(getName(memberDecl), 529 /* Diagnostics.Object_literal_may_only_specify_known_properties_and_0_does_not_exist_in_type_1 */, symbolToString(c, member), typeToString(c, contextualType));
+                    c.error(getName(memberDecl), 536 /* Diagnostics.Object_literal_may_only_specify_known_properties_and_0_does_not_exist_in_type_1 */, symbolToString(c, member), typeToString(c, contextualType));
             }
             copyDeclarations(prop, member);
             prop.parent = member.parent;
@@ -158,7 +161,7 @@ export function checkObjectLiteral(c, node, checkMode) {
             if (allProperties !== undefined)
                 allProperties.set(prop.name, prop);
         }
-        else if (memberDecl.kind === 305 /* SyntaxKind.SpreadAssignment */) {
+        else if (memberDecl.kind === 306 /* SyntaxKind.SpreadAssignment */) {
             if (builder.properties.length > 0) {
                 spread = getSpreadType(c, spread, builder.createType(c), getSymbol(node), builder.objectFlags, inConstContext);
                 builder.reset();
@@ -174,7 +177,7 @@ export function checkObjectLiteral(c, node, checkMode) {
                 spread = getSpreadType(c, spread, mergedType, getSymbol(node), builder.objectFlags, inConstContext);
             }
             else {
-                c.error(memberDecl, 830 /* Diagnostics.Spread_types_may_only_be_created_from_object_types */);
+                c.error(memberDecl, 837 /* Diagnostics.Spread_types_may_only_be_created_from_object_types */);
                 spread = c.errorType;
             }
             continue;
@@ -216,7 +219,7 @@ export function checkObjectLiteral(c, node, checkMode) {
     return builder.createType(c);
 }
 export function checkPropertyAssignment(c, node, checkMode) {
-    if (node.name.kind === 168 /* SyntaxKind.ComputedPropertyName */)
+    if (node.name.kind === 169 /* SyntaxKind.ComputedPropertyName */)
         checkComputedPropertyName(c, node.name);
     const initializerType = checkExpressionForMutableLocationEx(c, node.initializer, checkMode);
     const typeNode = getType(node);
@@ -261,7 +264,7 @@ function isSymbolWithSymbolName(c, symbol) {
         return true;
     const name = getFirstDeclarationName(symbol);
     return (name !== undefined &&
-        name.kind === 168 /* SyntaxKind.ComputedPropertyName */ &&
+        name.kind === 169 /* SyntaxKind.ComputedPropertyName */ &&
         isTypeAssignableToKindEx(c, checkComputedPropertyName(c, name), 512 /* TypeFlags.ESSymbol */, false));
 }
 function isSymbolWithNumericName(c, symbol) {
@@ -271,7 +274,7 @@ function isSymbolWithNumericName(c, symbol) {
     if (name === undefined)
         return false;
     switch (name.kind) {
-        case 168 /* SyntaxKind.ComputedPropertyName */:
+        case 169 /* SyntaxKind.ComputedPropertyName */:
             return isTypeAssignableToKindEx(c, checkComputedPropertyName(c, name), 67648 /* TypeFlags.NumberLike */, false);
         case 79 /* SyntaxKind.Identifier */:
         case 8 /* SyntaxKind.NumericLiteral */:
@@ -282,7 +285,7 @@ function isSymbolWithNumericName(c, symbol) {
 }
 function isSymbolWithComputedName(symbol) {
     const name = getFirstDeclarationName(symbol);
-    return name !== undefined && name.kind === 168 /* SyntaxKind.ComputedPropertyName */;
+    return name !== undefined && name.kind === 169 /* SyntaxKind.ComputedPropertyName */;
 }
 /** Reports earlier properties that a spread always overwrites. */
 export function checkSpreadPropOverrides(c, t, props, spread) {
@@ -292,8 +295,8 @@ export function checkSpreadPropOverrides(c, t, props, spread) {
         const left = props.get(right.name);
         if (left === undefined)
             continue;
-        const diagnostic = c.error(left.valueDeclaration, 915 /* Diagnostics.X_0_is_specified_more_than_once_so_this_usage_will_be_overwritten */, left.name);
-        diagnostic.addRelatedInfo(createDiagnosticForNode(spread, 917 /* Diagnostics.This_spread_always_overwrites_this_property */, []));
+        const diagnostic = c.error(left.valueDeclaration, 922 /* Diagnostics.X_0_is_specified_more_than_once_so_this_usage_will_be_overwritten */, left.name);
+        diagnostic.addRelatedInfo(createDiagnosticForNode(spread, 924 /* Diagnostics.This_spread_always_overwrites_this_property */, []));
     }
 }
 // ---- Spread types
@@ -468,7 +471,7 @@ function tryMergeUnionOfObjectTypeAndEmptyObject(c, t, readonly) {
         if (!isSpreadableProperty(prop))
             continue;
         const isSetonlyAccessor = (prop.flags & 65536 /* SymbolFlags.SetAccessor */) !== 0 && (prop.flags & 32768 /* SymbolFlags.GetAccessor */) === 0;
-        const result = c.newSymbolWithCheckFlags(4 /* SymbolFlags.Property */ | 16777216 /* SymbolFlags.Optional */, prop.name, (prop.checkFlags & 4096 /* CheckFlags.Late */) | (readonly ? 8 /* CheckFlags.Readonly */ : 0));
+        const result = c.newSymbolWithCheckFlags(4 /* SymbolFlags.Property */ | 16777216 /* SymbolFlags.Optional */, prop.name, (prop.checkFlags & 32768 /* CheckFlags.Late */) | (readonly ? 8 /* CheckFlags.Readonly */ : 0));
         const id = getSymbolId(result);
         c.symbolTypes.set(id, isSetonlyAccessor ? c.undefinedType : addOptionality(c, getTypeOfSymbol(c, prop), true, true));
         copyDeclarations(result, prop);