@microsoft/powerquery-language-services 0.2.19 → 0.3.3

package/lib/powerquery-language-services/inspection/type/inspectType/common.js

@@ -1,392 +1,407 @@
 "use strict";
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT license.
-var __assign = (this && this.__assign) || function () {
-    __assign = Object.assign || function(t) {
-        for (var s, i = 1, n = arguments.length; i < n; i++) {
-            s = arguments[i];
-            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
-                t[p] = s[p];
-        }
-        return t;
-    };
-    return __assign.apply(this, arguments);
+var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
+    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
+    return new (P || (P = Promise))(function (resolve, reject) {
+        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
+        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
+        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
+        step((generator = generator.apply(thisArg, _arguments || [])).next());
+    });
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.createParameterType = exports.recursiveIdentifierDereference = exports.maybeDereferencedIdentifierType = exports.inspectXor = exports.inspectTypeFromChildAttributeIndex = exports.inspectScopeItem = exports.getOrCreateScopeItemType = exports.getOrCreateScope = exports.assertGetOrCreateNodeScope = exports.allForAnyUnion = void 0;
-var PQP = require("@microsoft/powerquery-parser");
-var powerquery_parser_1 = require("@microsoft/powerquery-parser");
-var language_1 = require("@microsoft/powerquery-parser/lib/powerquery-parser/language");
-var parser_1 = require("@microsoft/powerquery-parser/lib/powerquery-parser/parser");
-var externalType_1 = require("../../externalType");
-var __1 = require("../../..");
-var scope_1 = require("../../scope");
-var inspectTypeConstant_1 = require("./inspectTypeConstant");
-var inspectTypeEachExpression_1 = require("./inspectTypeEachExpression");
-var inspectTypeErrorHandlingExpression_1 = require("./inspectTypeErrorHandlingExpression");
-var inspectTypeFieldProjection_1 = require("./inspectTypeFieldProjection");
-var inspectTypeFieldSelector_1 = require("./inspectTypeFieldSelector");
-var inspectTypeFieldSpecification_1 = require("./inspectTypeFieldSpecification");
-var inspectTypeFunctionExpression_1 = require("./inspectTypeFunctionExpression");
-var inspectTypeFunctionType_1 = require("./inspectTypeFunctionType");
-var inspectTypeIdentifier_1 = require("./inspectTypeIdentifier");
-var inspectTypeIdentifierExpression_1 = require("./inspectTypeIdentifierExpression");
-var inspectTypeIfExpression_1 = require("./inspectTypeIfExpression");
-var inspectTypeInvokeExpression_1 = require("./inspectTypeInvokeExpression");
-var inspectTypeList_1 = require("./inspectTypeList");
-var inspectTypeListType_1 = require("./inspectTypeListType");
-var inspectTypeLiteralExpression_1 = require("./inspectTypeLiteralExpression");
-var inspectTypeNullCoalescingExpression_1 = require("./inspectTypeNullCoalescingExpression");
-var inspectTypeParameter_1 = require("./inspectTypeParameter");
-var inspectTypePrimitiveType_1 = require("./inspectTypePrimitiveType");
-var inspectTypeRangeExpression_1 = require("./inspectTypeRangeExpression");
-var inspectTypeRecord_1 = require("./inspectTypeRecord");
-var inspectTypeRecordType_1 = require("./inspectTypeRecordType");
-var inspectTypeRecursivePrimaryExpression_1 = require("./inspectTypeRecursivePrimaryExpression");
-var inspectTypeTableType_1 = require("./inspectTypeTableType");
-var inspectTypeTBinOpExpression_1 = require("./inspectTypeTBinOpExpression");
-var inspectTypeUnaryExpression_1 = require("./inspectTypeUnaryExpression");
+const PQP = require("@microsoft/powerquery-parser");
+const powerquery_parser_1 = require("@microsoft/powerquery-parser");
+const language_1 = require("@microsoft/powerquery-parser/lib/powerquery-parser/language");
+const parser_1 = require("@microsoft/powerquery-parser/lib/powerquery-parser/parser");
+const externalType_1 = require("../../externalType");
+const __1 = require("../../..");
+const scope_1 = require("../../scope");
+const inspectTypeConstant_1 = require("./inspectTypeConstant");
+const inspectTypeEachExpression_1 = require("./inspectTypeEachExpression");
+const inspectTypeErrorHandlingExpression_1 = require("./inspectTypeErrorHandlingExpression");
+const inspectTypeFieldProjection_1 = require("./inspectTypeField/inspectTypeFieldProjection");
+const inspectTypeFieldSelector_1 = require("./inspectTypeField/inspectTypeFieldSelector");
+const inspectTypeFieldSpecification_1 = require("./inspectTypeFieldSpecification");
+const inspectTypeFunctionExpression_1 = require("./inspectTypeFunctionExpression");
+const inspectTypeFunctionType_1 = require("./inspectTypeFunctionType");
+const inspectTypeIdentifier_1 = require("./inspectTypeIdentifier");
+const inspectTypeIdentifierExpression_1 = require("./inspectTypeIdentifierExpression");
+const inspectTypeIfExpression_1 = require("./inspectTypeIfExpression");
+const inspectTypeInvokeExpression_1 = require("./inspectTypeInvokeExpression");
+const inspectTypeList_1 = require("./inspectTypeList");
+const inspectTypeListType_1 = require("./inspectTypeListType");
+const inspectTypeLiteralExpression_1 = require("./inspectTypeLiteralExpression");
+const inspectTypeNullCoalescingExpression_1 = require("./inspectTypeNullCoalescingExpression");
+const inspectTypeParameter_1 = require("./inspectTypeParameter");
+const inspectTypePrimitiveType_1 = require("./inspectTypePrimitiveType");
+const inspectTypeRangeExpression_1 = require("./inspectTypeRangeExpression");
+const inspectTypeRecord_1 = require("./inspectTypeRecord");
+const inspectTypeRecordType_1 = require("./inspectTypeRecordType");
+const inspectTypeRecursivePrimaryExpression_1 = require("./inspectTypeRecursivePrimaryExpression");
+const inspectTypeTableType_1 = require("./inspectTypeTableType");
+const inspectTypeTBinOpExpression_1 = require("./inspectTypeTBinOpExpression");
+const inspectTypeUnaryExpression_1 = require("./inspectTypeUnaryExpression");
 // Recursively flattens all AnyUnion.unionedTypePairs into a single array,
 // maps each entry into a boolean,
 // then calls all(...) on the mapped values.
 function allForAnyUnion(anyUnion, conditionFn) {
     return (anyUnion.unionedTypePairs
-        .map(function (type) {
-        return type.maybeExtendedKind === "AnyUnion" /* AnyUnion */
-            ? allForAnyUnion(type, conditionFn)
-            : conditionFn(type);
-    })
+        .map((type) => type.maybeExtendedKind === "AnyUnion" /* AnyUnion */
+        ? allForAnyUnion(type, conditionFn)
+        : conditionFn(type))
         .indexOf(false) === -1);
 }
 exports.allForAnyUnion = allForAnyUnion;
 function assertGetOrCreateNodeScope(state, nodeId) {
     var _a;
-    (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-    var triedGetOrCreateScope = getOrCreateScope(state, nodeId);
-    if (powerquery_parser_1.ResultUtils.isError(triedGetOrCreateScope)) {
-        throw triedGetOrCreateScope;
-    }
-    return powerquery_parser_1.Assert.asDefined(triedGetOrCreateScope.value);
+    return __awaiter(this, void 0, void 0, function* () {
+        (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
+        const triedGetOrCreateScope = yield getOrCreateScope(state, nodeId);
+        if (powerquery_parser_1.ResultUtils.isError(triedGetOrCreateScope)) {
+            throw triedGetOrCreateScope;
+        }
+        return powerquery_parser_1.Assert.asDefined(triedGetOrCreateScope.value);
+    });
 }
 exports.assertGetOrCreateNodeScope = assertGetOrCreateNodeScope;
 function getOrCreateScope(state, nodeId) {
     var _a;
-    (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-    var maybeNodeScope = state.scopeById.get(nodeId);
-    if (maybeNodeScope !== undefined) {
-        return powerquery_parser_1.ResultUtils.boxOk(maybeNodeScope);
-    }
-    return (0, scope_1.tryNodeScope)(state, state.nodeIdMapCollection, nodeId, state.scopeById);
+    return __awaiter(this, void 0, void 0, function* () {
+        (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
+        const maybeNodeScope = state.scopeById.get(nodeId);
+        if (maybeNodeScope !== undefined) {
+            return powerquery_parser_1.ResultUtils.boxOk(maybeNodeScope);
+        }
+        return yield (0, scope_1.tryNodeScope)(state, state.nodeIdMapCollection, nodeId, state.scopeById);
+    });
 }
 exports.getOrCreateScope = getOrCreateScope;
 function getOrCreateScopeItemType(state, scopeItem) {
-    var nodeId = scopeItem.id;
-    var maybeGivenType = state.givenTypeById.get(nodeId);
-    if (maybeGivenType !== undefined) {
-        return maybeGivenType;
-    }
-    var maybeDeltaType = state.givenTypeById.get(nodeId);
-    if (maybeDeltaType !== undefined) {
-        return maybeDeltaType;
-    }
-    var scopeType = inspectScopeItem(state, scopeItem);
-    return scopeType;
+    return __awaiter(this, void 0, void 0, function* () {
+        const nodeId = scopeItem.id;
+        const maybeGivenType = state.givenTypeById.get(nodeId);
+        if (maybeGivenType !== undefined) {
+            return maybeGivenType;
+        }
+        const maybeDeltaType = state.givenTypeById.get(nodeId);
+        if (maybeDeltaType !== undefined) {
+            return maybeDeltaType;
+        }
+        const scopeType = yield inspectScopeItem(state, scopeItem);
+        return scopeType;
+    });
 }
 exports.getOrCreateScopeItemType = getOrCreateScopeItemType;
 function inspectScopeItem(state, scopeItem) {
     var _a;
-    (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-    switch (scopeItem.kind) {
-        case "LetVariable" /* LetVariable */:
-        case "RecordField" /* RecordField */:
-        case "SectionMember" /* SectionMember */:
-            return scopeItem.maybeValue === undefined ? language_1.Type.UnknownInstance : inspectXor(state, scopeItem.maybeValue);
-        case "Each" /* Each */:
-            return inspectXor(state, scopeItem.eachExpression);
-        case "Parameter" /* Parameter */:
-            return createParameterType(scopeItem);
-        case "Undefined" /* Undefined */:
-            return language_1.Type.UnknownInstance;
-        default:
-            throw powerquery_parser_1.Assert.isNever(scopeItem);
-    }
+    return __awaiter(this, void 0, void 0, function* () {
+        (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
+        switch (scopeItem.kind) {
+            case "LetVariable" /* LetVariable */:
+            case "RecordField" /* RecordField */:
+            case "SectionMember" /* SectionMember */:
+                return scopeItem.maybeValue === undefined
+                    ? language_1.Type.UnknownInstance
+                    : yield inspectXor(state, scopeItem.maybeValue);
+            case "Each" /* Each */:
+                return yield inspectXor(state, scopeItem.eachExpression);
+            case "Parameter" /* Parameter */:
+                return createParameterType(scopeItem);
+            case "Undefined" /* Undefined */:
+                return language_1.Type.UnknownInstance;
+            default:
+                throw powerquery_parser_1.Assert.isNever(scopeItem);
+        }
+    });
 }
 exports.inspectScopeItem = inspectScopeItem;
 function inspectTypeFromChildAttributeIndex(state, parentXorNode, attributeIndex) {
     var _a;
-    (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-    var maybeXorNode = PQP.Parser.NodeIdMapUtils.maybeNthChild(state.nodeIdMapCollection, parentXorNode.node.id, attributeIndex);
-    return maybeXorNode !== undefined ? inspectXor(state, maybeXorNode) : language_1.Type.UnknownInstance;
+    return __awaiter(this, void 0, void 0, function* () {
+        (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
+        const maybeXorNode = PQP.Parser.NodeIdMapUtils.maybeNthChild(state.nodeIdMapCollection, parentXorNode.node.id, attributeIndex);
+        return maybeXorNode !== undefined ? yield inspectXor(state, maybeXorNode) : language_1.Type.UnknownInstance;
+    });
 }
 exports.inspectTypeFromChildAttributeIndex = inspectTypeFromChildAttributeIndex;
 function inspectXor(state, xorNode) {
     var _a;
-    var trace = state.traceManager.entry("Type" /* Type */, inspectXor.name, __1.TraceUtils.createXorNodeDetails(xorNode));
-    (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-    var xorNodeId = xorNode.node.id;
-    var maybeCached = state.givenTypeById.get(xorNodeId) || state.deltaTypeById.get(xorNodeId);
-    if (maybeCached !== undefined) {
-        return maybeCached;
-    }
-    var result;
-    switch (xorNode.node.kind) {
-        case "ArrayWrapper" /* ArrayWrapper */:
-        case "FieldSpecificationList" /* FieldSpecificationList */:
-        case "GeneralizedIdentifier" /* GeneralizedIdentifier */:
-        case "GeneralizedIdentifierPairedAnyLiteral" /* GeneralizedIdentifierPairedAnyLiteral */:
-        case "GeneralizedIdentifierPairedExpression" /* GeneralizedIdentifierPairedExpression */:
-        case "IdentifierPairedExpression" /* IdentifierPairedExpression */:
-        case "ParameterList" /* ParameterList */:
-        case "Section" /* Section */:
-            return language_1.Type.NotApplicableInstance;
-        case "AsType" /* AsType */:
-        case "AsNullablePrimitiveType" /* AsNullablePrimitiveType */:
-        case "FieldTypeSpecification" /* FieldTypeSpecification */:
-        case "OtherwiseExpression" /* OtherwiseExpression */:
-        case "ParenthesizedExpression" /* ParenthesizedExpression */:
-        case "TypePrimaryType" /* TypePrimaryType */:
-            result = inspectTypeFromChildAttributeIndex(state, xorNode, 1);
-            break;
-        case "ArithmeticExpression" /* ArithmeticExpression */:
-        case "EqualityExpression" /* EqualityExpression */:
-        case "LogicalExpression" /* LogicalExpression */:
-        case "RelationalExpression" /* RelationalExpression */:
-            result = (0, inspectTypeTBinOpExpression_1.inspectTypeTBinOpExpression)(state, xorNode);
-            break;
-        case "AsExpression" /* AsExpression */:
-        case "SectionMember" /* SectionMember */:
-            result = inspectTypeFromChildAttributeIndex(state, xorNode, 2);
-            break;
-        case "Csv" /* Csv */:
-        case "MetadataExpression" /* MetadataExpression */:
-            result = inspectTypeFromChildAttributeIndex(state, xorNode, 0);
-            break;
-        case "ListExpression" /* ListExpression */:
-        case "ListLiteral" /* ListLiteral */:
-            result = (0, inspectTypeList_1.inspectTypeList)(state, xorNode);
-            break;
-        case "NullableType" /* NullableType */:
-        case "NullablePrimitiveType" /* NullablePrimitiveType */:
-            result = __assign(__assign({}, inspectTypeFromChildAttributeIndex(state, xorNode, 1)), { isNullable: true });
-            break;
-        case "RecordLiteral" /* RecordLiteral */:
-        case "RecordExpression" /* RecordExpression */:
-            result = (0, inspectTypeRecord_1.inspectTypeRecord)(state, xorNode);
-            break;
-        // TODO: how should error raising be typed?
-        case "ErrorRaisingExpression" /* ErrorRaisingExpression */:
-            result = language_1.Type.AnyInstance;
-            break;
-        case "Constant" /* Constant */:
-            result = (0, inspectTypeConstant_1.inspectTypeConstant)(xorNode);
-            break;
-        case "EachExpression" /* EachExpression */:
-            result = (0, inspectTypeEachExpression_1.inspectTypeEachExpression)(state, xorNode);
-            break;
-        case "ErrorHandlingExpression" /* ErrorHandlingExpression */:
-            result = (0, inspectTypeErrorHandlingExpression_1.inspectTypeErrorHandlingExpression)(state, xorNode);
-            break;
-        case "FieldProjection" /* FieldProjection */:
-            result = (0, inspectTypeFieldProjection_1.inspectTypeFieldProjection)(state, xorNode);
-            break;
-        case "FieldSelector" /* FieldSelector */:
-            result = (0, inspectTypeFieldSelector_1.inspectTypeFieldSelector)(state, xorNode);
-            break;
-        case "FieldSpecification" /* FieldSpecification */:
-            result = (0, inspectTypeFieldSpecification_1.inspectTypeFieldSpecification)(state, xorNode);
-            break;
-        case "FunctionExpression" /* FunctionExpression */:
-            result = (0, inspectTypeFunctionExpression_1.inspectTypeFunctionExpression)(state, xorNode);
-            break;
-        case "FunctionType" /* FunctionType */:
-            result = (0, inspectTypeFunctionType_1.inspectTypeFunctionType)(state, xorNode);
-            break;
-        case "Identifier" /* Identifier */:
-            result = (0, inspectTypeIdentifier_1.inspectTypeIdentifier)(state, xorNode);
-            break;
-        case "IdentifierExpression" /* IdentifierExpression */:
-            result = (0, inspectTypeIdentifierExpression_1.inspectTypeIdentifierExpression)(state, xorNode);
-            break;
-        case "IfExpression" /* IfExpression */:
-            result = (0, inspectTypeIfExpression_1.inspectTypeIfExpression)(state, xorNode);
-            break;
-        case "IsExpression" /* IsExpression */:
-            result = language_1.TypeUtils.createPrimitiveType(false, "Logical" /* Logical */);
-            break;
-        case "InvokeExpression" /* InvokeExpression */:
-            result = (0, inspectTypeInvokeExpression_1.inspectTypeInvokeExpression)(state, xorNode);
-            break;
-        case "IsNullablePrimitiveType" /* IsNullablePrimitiveType */:
-            result = language_1.TypeUtils.createPrimitiveType(false, "Logical" /* Logical */);
-            break;
-        case "ItemAccessExpression" /* ItemAccessExpression */:
-            result = language_1.Type.AnyInstance;
-            break;
-        case "LetExpression" /* LetExpression */:
-            result = inspectTypeFromChildAttributeIndex(state, xorNode, 3);
-            break;
-        case "ListType" /* ListType */:
-            result = (0, inspectTypeListType_1.inspectTypeListType)(state, xorNode);
-            break;
-        case "LiteralExpression" /* LiteralExpression */:
-            result = (0, inspectTypeLiteralExpression_1.inspectTypeLiteralExpression)(state, xorNode);
-            break;
-        case "NotImplementedExpression" /* NotImplementedExpression */:
-            result = language_1.Type.NoneInstance;
-            break;
-        case "NullCoalescingExpression" /* NullCoalescingExpression */:
-            result = (0, inspectTypeNullCoalescingExpression_1.inspectTypeNullCoalescingExpression)(state, xorNode);
-            break;
-        case "Parameter" /* Parameter */:
-            result = (0, inspectTypeParameter_1.inspectTypeParameter)(state, xorNode);
-            break;
-        case "PrimitiveType" /* PrimitiveType */:
-            result = (0, inspectTypePrimitiveType_1.inspectTypePrimitiveType)(state, xorNode);
-            break;
-        case "RangeExpression" /* RangeExpression */:
-            result = (0, inspectTypeRangeExpression_1.inspectTypeRangeExpression)(state, xorNode);
-            break;
-        case "RecordType" /* RecordType */:
-            result = (0, inspectTypeRecordType_1.inspectTypeRecordType)(state, xorNode);
-            break;
-        case "RecursivePrimaryExpression" /* RecursivePrimaryExpression */:
-            result = (0, inspectTypeRecursivePrimaryExpression_1.inspectTypeRecursivePrimaryExpression)(state, xorNode);
-            break;
-        case "TableType" /* TableType */:
-            result = (0, inspectTypeTableType_1.inspectTypeTableType)(state, xorNode);
-            break;
-        case "UnaryExpression" /* UnaryExpression */:
-            result = (0, inspectTypeUnaryExpression_1.inspectTypeUnaryExpression)(state, xorNode);
-            break;
-        default:
-            throw powerquery_parser_1.Assert.isNever(xorNode.node);
-    }
-    state.deltaTypeById.set(xorNodeId, result);
-    trace.exit({ resultKind: result.kind, maybeResultExtendedKind: result.maybeExtendedKind });
-    return result;
+    return __awaiter(this, void 0, void 0, function* () {
+        const trace = state.traceManager.entry("Type" /* Type */, inspectXor.name, __1.TraceUtils.createXorNodeDetails(xorNode));
+        (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
+        const xorNodeId = xorNode.node.id;
+        const maybeCached = state.givenTypeById.get(xorNodeId) || state.deltaTypeById.get(xorNodeId);
+        if (maybeCached !== undefined) {
+            return Promise.resolve(maybeCached);
+        }
+        let result;
+        switch (xorNode.node.kind) {
+            case "ArrayWrapper" /* ArrayWrapper */:
+            case "FieldSpecificationList" /* FieldSpecificationList */:
+            case "GeneralizedIdentifier" /* GeneralizedIdentifier */:
+            case "GeneralizedIdentifierPairedAnyLiteral" /* GeneralizedIdentifierPairedAnyLiteral */:
+            case "GeneralizedIdentifierPairedExpression" /* GeneralizedIdentifierPairedExpression */:
+            case "IdentifierPairedExpression" /* IdentifierPairedExpression */:
+            case "ParameterList" /* ParameterList */:
+            case "Section" /* Section */:
+                return Promise.resolve(language_1.Type.NotApplicableInstance);
+            case "AsType" /* AsType */:
+            case "AsNullablePrimitiveType" /* AsNullablePrimitiveType */:
+            case "FieldTypeSpecification" /* FieldTypeSpecification */:
+            case "OtherwiseExpression" /* OtherwiseExpression */:
+            case "ParenthesizedExpression" /* ParenthesizedExpression */:
+            case "TypePrimaryType" /* TypePrimaryType */:
+                result = yield inspectTypeFromChildAttributeIndex(state, xorNode, 1);
+                break;
+            case "ArithmeticExpression" /* ArithmeticExpression */:
+            case "EqualityExpression" /* EqualityExpression */:
+            case "LogicalExpression" /* LogicalExpression */:
+            case "RelationalExpression" /* RelationalExpression */:
+                result = yield (0, inspectTypeTBinOpExpression_1.inspectTypeTBinOpExpression)(state, xorNode);
+                break;
+            case "AsExpression" /* AsExpression */:
+            case "SectionMember" /* SectionMember */:
+                result = yield inspectTypeFromChildAttributeIndex(state, xorNode, 2);
+                break;
+            case "Csv" /* Csv */:
+            case "MetadataExpression" /* MetadataExpression */:
+                result = yield inspectTypeFromChildAttributeIndex(state, xorNode, 0);
+                break;
+            case "ListExpression" /* ListExpression */:
+            case "ListLiteral" /* ListLiteral */:
+                result = yield (0, inspectTypeList_1.inspectTypeList)(state, xorNode);
+                break;
+            case "NullableType" /* NullableType */:
+            case "NullablePrimitiveType" /* NullablePrimitiveType */:
+                result = Object.assign(Object.assign({}, (yield inspectTypeFromChildAttributeIndex(state, xorNode, 1))), { isNullable: true });
+                break;
+            case "RecordLiteral" /* RecordLiteral */:
+            case "RecordExpression" /* RecordExpression */:
+                result = yield (0, inspectTypeRecord_1.inspectTypeRecord)(state, xorNode);
+                break;
+            // TODO: how should error raising be typed?
+            case "ErrorRaisingExpression" /* ErrorRaisingExpression */:
+                result = language_1.Type.AnyInstance;
+                break;
+            case "Constant" /* Constant */:
+                result = (0, inspectTypeConstant_1.inspectTypeConstant)(xorNode);
+                break;
+            case "EachExpression" /* EachExpression */:
+                result = yield (0, inspectTypeEachExpression_1.inspectTypeEachExpression)(state, xorNode);
+                break;
+            case "ErrorHandlingExpression" /* ErrorHandlingExpression */:
+                result = yield (0, inspectTypeErrorHandlingExpression_1.inspectTypeErrorHandlingExpression)(state, xorNode);
+                break;
+            case "FieldProjection" /* FieldProjection */:
+                result = yield (0, inspectTypeFieldProjection_1.inspectTypeFieldProjection)(state, xorNode);
+                break;
+            case "FieldSelector" /* FieldSelector */:
+                result = yield (0, inspectTypeFieldSelector_1.inspectTypeFieldSelector)(state, xorNode);
+                break;
+            case "FieldSpecification" /* FieldSpecification */:
+                result = yield (0, inspectTypeFieldSpecification_1.inspectTypeFieldSpecification)(state, xorNode);
+                break;
+            case "FunctionExpression" /* FunctionExpression */:
+                result = yield (0, inspectTypeFunctionExpression_1.inspectTypeFunctionExpression)(state, xorNode);
+                break;
+            case "FunctionType" /* FunctionType */:
+                result = yield (0, inspectTypeFunctionType_1.inspectTypeFunctionType)(state, xorNode);
+                break;
+            case "Identifier" /* Identifier */:
+                result = yield (0, inspectTypeIdentifier_1.inspectTypeIdentifier)(state, xorNode);
+                break;
+            case "IdentifierExpression" /* IdentifierExpression */:
+                result = yield (0, inspectTypeIdentifierExpression_1.inspectTypeIdentifierExpression)(state, xorNode);
+                break;
+            case "IfExpression" /* IfExpression */:
+                result = yield (0, inspectTypeIfExpression_1.inspectTypeIfExpression)(state, xorNode);
+                break;
+            case "IsExpression" /* IsExpression */:
+                result = language_1.TypeUtils.createPrimitiveType(false, "Logical" /* Logical */);
+                break;
+            case "InvokeExpression" /* InvokeExpression */:
+                result = yield (0, inspectTypeInvokeExpression_1.inspectTypeInvokeExpression)(state, xorNode);
+                break;
+            case "IsNullablePrimitiveType" /* IsNullablePrimitiveType */:
+                result = language_1.TypeUtils.createPrimitiveType(false, "Logical" /* Logical */);
+                break;
+            case "ItemAccessExpression" /* ItemAccessExpression */:
+                result = language_1.Type.AnyInstance;
+                break;
+            case "LetExpression" /* LetExpression */:
+                result = yield inspectTypeFromChildAttributeIndex(state, xorNode, 3);
+                break;
+            case "ListType" /* ListType */:
+                result = yield (0, inspectTypeListType_1.inspectTypeListType)(state, xorNode);
+                break;
+            case "LiteralExpression" /* LiteralExpression */:
+                result = (0, inspectTypeLiteralExpression_1.inspectTypeLiteralExpression)(state, xorNode);
+                break;
+            case "NotImplementedExpression" /* NotImplementedExpression */:
+                result = language_1.Type.NoneInstance;
+                break;
+            case "NullCoalescingExpression" /* NullCoalescingExpression */:
+                result = yield (0, inspectTypeNullCoalescingExpression_1.inspectTypeNullCoalescingExpression)(state, xorNode);
+                break;
+            case "Parameter" /* Parameter */:
+                result = yield (0, inspectTypeParameter_1.inspectTypeParameter)(state, xorNode);
+                break;
+            case "PrimitiveType" /* PrimitiveType */:
+                result = (0, inspectTypePrimitiveType_1.inspectTypePrimitiveType)(state, xorNode);
+                break;
+            case "RangeExpression" /* RangeExpression */:
+                result = yield (0, inspectTypeRangeExpression_1.inspectTypeRangeExpression)(state, xorNode);
+                break;
+            case "RecordType" /* RecordType */:
+                result = yield (0, inspectTypeRecordType_1.inspectTypeRecordType)(state, xorNode);
+                break;
+            case "RecursivePrimaryExpression" /* RecursivePrimaryExpression */:
+                result = yield (0, inspectTypeRecursivePrimaryExpression_1.inspectTypeRecursivePrimaryExpression)(state, xorNode);
+                break;
+            case "TableType" /* TableType */:
+                result = yield (0, inspectTypeTableType_1.inspectTypeTableType)(state, xorNode);
+                break;
+            case "UnaryExpression" /* UnaryExpression */:
+                result = yield (0, inspectTypeUnaryExpression_1.inspectTypeUnaryExpression)(state, xorNode);
+                break;
+            default:
+                throw powerquery_parser_1.Assert.isNever(xorNode.node);
+        }
+        state.deltaTypeById.set(xorNodeId, result);
+        trace.exit({ resultKind: result.kind, maybeResultExtendedKind: result.maybeExtendedKind });
+        return result;
+    });
 }
 exports.inspectXor = inspectXor;
 function maybeDereferencedIdentifierType(state, xorNode) {
     var _a;
-    var trace = state.traceManager.entry("Type" /* Type */, maybeDereferencedIdentifierType.name, __1.TraceUtils.createXorNodeDetails(xorNode));
-    (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-    var deferenced = recursiveIdentifierDereference(state, xorNode);
-    var maybeDereferencedLiteral = parser_1.XorNodeUtils.maybeIdentifierExpressionLiteral(deferenced);
-    if (maybeDereferencedLiteral === undefined) {
-        return undefined;
-    }
-    var deferencedLiteral = maybeDereferencedLiteral;
-    var nodeScope = assertGetOrCreateNodeScope(state, deferenced.node.id);
-    // When referencing an identifier as a recursive identifier there's no requirements
-    // for it to resolve to a recursive reference.
-    // This if it's a recursive identifier we need to also try the identifier without the recursive `@` prefix.
-    var maybeScopeItem = nodeScope.get(deferencedLiteral);
-    if (deferencedLiteral.startsWith("@") && maybeScopeItem === undefined) {
-        maybeScopeItem = nodeScope.get(deferencedLiteral.slice(1));
-    }
-    // The deferenced identifier can't be resolved within the local scope.
-    // It either is either an invalid identifier or an external identifier (e.g `Odbc.Database`).
-    if (maybeScopeItem === undefined) {
-        var maybeResolver = state.maybeExternalTypeResolver;
-        if (maybeResolver === undefined) {
+    return __awaiter(this, void 0, void 0, function* () {
+        const trace = state.traceManager.entry("Type" /* Type */, maybeDereferencedIdentifierType.name, __1.TraceUtils.createXorNodeDetails(xorNode));
+        (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
+        const deferenced = yield recursiveIdentifierDereference(state, xorNode);
+        const maybeDereferencedLiteral = parser_1.XorNodeUtils.maybeIdentifierExpressionLiteral(deferenced);
+        if (maybeDereferencedLiteral === undefined) {
             return undefined;
         }
-        var request = externalType_1.ExternalTypeUtils.createValueTypeRequest(deferencedLiteral);
-        return maybeResolver(request);
-    }
-    var scopeItem = maybeScopeItem;
-    var maybeNextXorNode;
-    switch (scopeItem.kind) {
-        case "LetVariable" /* LetVariable */:
-        case "RecordField" /* RecordField */:
-        case "SectionMember" /* SectionMember */:
-            maybeNextXorNode = scopeItem.maybeValue;
-            break;
-        case "Each" /* Each */:
-            maybeNextXorNode = scopeItem.eachExpression;
-            break;
-        case "Parameter" /* Parameter */:
-            return createParameterType(scopeItem);
-        case "Undefined" /* Undefined */:
-            return undefined;
-        default:
-            throw powerquery_parser_1.Assert.isNever(scopeItem);
-    }
-    var result = maybeNextXorNode
-        ? inspectXor(state, maybeNextXorNode)
-        : undefined;
-    trace.exit();
-    return result;
+        const deferencedLiteral = maybeDereferencedLiteral;
+        const nodeScope = yield assertGetOrCreateNodeScope(state, deferenced.node.id);
+        // When referencing an identifier as a recursive identifier there's no requirements
+        // for it to resolve to a recursive reference.
+        // This if it's a recursive identifier we need to also try the identifier without the recursive `@` prefix.
+        let maybeScopeItem = nodeScope.get(deferencedLiteral);
+        if (deferencedLiteral.startsWith("@") && maybeScopeItem === undefined) {
+            maybeScopeItem = nodeScope.get(deferencedLiteral.slice(1));
+        }
+        // The deferenced identifier can't be resolved within the local scope.
+        // It either is either an invalid identifier or an external identifier (e.g `Odbc.Database`).
+        if (maybeScopeItem === undefined) {
+            const maybeResolver = state.maybeExternalTypeResolver;
+            if (maybeResolver === undefined) {
+                return undefined;
+            }
+            const request = externalType_1.ExternalTypeUtils.createValueTypeRequest(deferencedLiteral);
+            return maybeResolver(request);
+        }
+        const scopeItem = maybeScopeItem;
+        let maybeNextXorNode;
+        switch (scopeItem.kind) {
+            case "LetVariable" /* LetVariable */:
+            case "RecordField" /* RecordField */:
+            case "SectionMember" /* SectionMember */:
+                maybeNextXorNode = scopeItem.maybeValue;
+                break;
+            case "Each" /* Each */:
+                maybeNextXorNode = scopeItem.eachExpression;
+                break;
+            case "Parameter" /* Parameter */:
+                return createParameterType(scopeItem);
+            case "Undefined" /* Undefined */:
+                return undefined;
+            default:
+                throw powerquery_parser_1.Assert.isNever(scopeItem);
+        }
+        const result = maybeNextXorNode
+            ? yield inspectXor(state, maybeNextXorNode)
+            : undefined;
+        trace.exit();
+        return result;
+    });
 }
 exports.maybeDereferencedIdentifierType = maybeDereferencedIdentifierType;
 // Recursively derefence an identifier if it points to another identifier.
 function recursiveIdentifierDereference(state, xorNode) {
     var _a;
-    var trace = state.traceManager.entry("Type" /* Type */, recursiveIdentifierDereference.name, __1.TraceUtils.createXorNodeDetails(xorNode));
-    (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-    parser_1.XorNodeUtils.assertIsIdentifier(xorNode);
-    var result = powerquery_parser_1.Assert.asDefined(recursiveIdentifierDereferenceHelper(state, xorNode));
-    trace.exit();
-    return result;
+    return __awaiter(this, void 0, void 0, function* () {
+        const trace = state.traceManager.entry("Type" /* Type */, recursiveIdentifierDereference.name, __1.TraceUtils.createXorNodeDetails(xorNode));
+        (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
+        parser_1.XorNodeUtils.assertIsIdentifier(xorNode);
+        const result = powerquery_parser_1.Assert.asDefined(yield recursiveIdentifierDereferenceHelper(state, xorNode));
+        trace.exit();
+        return result;
+    });
 }
 exports.recursiveIdentifierDereference = recursiveIdentifierDereference;
 // Recursively derefence an identifier if it points to another identifier.
 function recursiveIdentifierDereferenceHelper(state, xorNode) {
-    var _a, _b;
-    var _c;
-    var trace = state.traceManager.entry("Type" /* Type */, inspectXor.name, __1.TraceUtils.createXorNodeDetails(xorNode));
-    (_c = state.maybeCancellationToken) === null || _c === void 0 ? void 0 : _c.throwIfCancelled();
-    parser_1.XorNodeUtils.assertIsIdentifier(xorNode);
-    if (parser_1.XorNodeUtils.isContextXor(xorNode)) {
-        trace.exit((_a = {}, _a["Result" /* Result */] = undefined, _a));
-        return undefined;
-    }
-    var identifier = xorNode.node;
-    var identifierId = identifier.id;
-    var identifierLiteral;
-    var isRecursiveIdentifier;
-    switch (identifier.kind) {
-        case "Identifier" /* Identifier */:
-            identifierLiteral = identifier.literal;
-            isRecursiveIdentifier = false;
-            break;
-        case "IdentifierExpression" /* IdentifierExpression */:
-            identifierLiteral = identifier.identifier.literal;
-            isRecursiveIdentifier = identifier.maybeInclusiveConstant !== undefined;
-            break;
-        default:
-            throw powerquery_parser_1.Assert.isNever(identifier);
-    }
-    var nodeScope = assertGetOrCreateNodeScope(state, identifierId);
-    var maybeScopeItem = nodeScope.get(isRecursiveIdentifier ? "@".concat(identifierLiteral) : identifierLiteral);
-    if (maybeScopeItem === undefined) {
-        return xorNode;
-    }
-    var scopeItem = maybeScopeItem;
-    var maybeNextXorNode;
-    switch (scopeItem.kind) {
-        case "Each" /* Each */:
-        case "Parameter" /* Parameter */:
-        case "Undefined" /* Undefined */:
-            trace.exit((_b = {}, _b["Result" /* Result */] = scopeItem.kind, _b));
+    var _a;
+    return __awaiter(this, void 0, void 0, function* () {
+        const trace = state.traceManager.entry("Type" /* Type */, inspectXor.name, __1.TraceUtils.createXorNodeDetails(xorNode));
+        (_a = state.maybeCancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
+        parser_1.XorNodeUtils.assertIsIdentifier(xorNode);
+        if (parser_1.XorNodeUtils.isContextXor(xorNode)) {
+            trace.exit({ ["Result" /* Result */]: undefined });
+            return undefined;
+        }
+        const identifier = xorNode.node;
+        const identifierId = identifier.id;
+        let identifierLiteral;
+        let isRecursiveIdentifier;
+        switch (identifier.kind) {
+            case "Identifier" /* Identifier */:
+                identifierLiteral = identifier.literal;
+                isRecursiveIdentifier = false;
+                break;
+            case "IdentifierExpression" /* IdentifierExpression */:
+                identifierLiteral = identifier.identifier.literal;
+                isRecursiveIdentifier = identifier.maybeInclusiveConstant !== undefined;
+                break;
+            default:
+                throw powerquery_parser_1.Assert.isNever(identifier);
+        }
+        const nodeScope = yield assertGetOrCreateNodeScope(state, identifierId);
+        const maybeScopeItem = nodeScope.get(isRecursiveIdentifier ? `@${identifierLiteral}` : identifierLiteral);
+        if (maybeScopeItem === undefined) {
             return xorNode;
-        case "LetVariable" /* LetVariable */:
-        case "RecordField" /* RecordField */:
-        case "SectionMember" /* SectionMember */:
-            maybeNextXorNode = scopeItem.maybeValue;
-            break;
-        default:
-            throw powerquery_parser_1.Assert.isNever(scopeItem);
-    }
-    var result = maybeNextXorNode !== undefined &&
-        parser_1.XorNodeUtils.isAstXorChecked(maybeNextXorNode, [
-            "Identifier" /* Identifier */,
-            "IdentifierExpression" /* IdentifierExpression */,
-        ])
-        ? recursiveIdentifierDereferenceHelper(state, maybeNextXorNode)
-        : xorNode;
-    trace.exit();
-    return result;
+        }
+        const scopeItem = maybeScopeItem;
+        let maybeNextXorNode;
+        switch (scopeItem.kind) {
+            case "Each" /* Each */:
+            case "Parameter" /* Parameter */:
+            case "Undefined" /* Undefined */:
+                trace.exit({ ["Result" /* Result */]: scopeItem.kind });
+                return xorNode;
+            case "LetVariable" /* LetVariable */:
+            case "RecordField" /* RecordField */:
+            case "SectionMember" /* SectionMember */:
+                maybeNextXorNode = scopeItem.maybeValue;
+                break;
+            default:
+                throw powerquery_parser_1.Assert.isNever(scopeItem);
+        }
+        const result = maybeNextXorNode !== undefined &&
+            parser_1.XorNodeUtils.isAstXorChecked(maybeNextXorNode, [
+                "Identifier" /* Identifier */,
+                "IdentifierExpression" /* IdentifierExpression */,
+            ])
+            ? yield recursiveIdentifierDereferenceHelper(state, maybeNextXorNode)
+            : xorNode;
+        trace.exit();
+        return result;
+    });
 }
 function createParameterType(parameter) {
     if (parameter.maybeType === undefined) {
@@ -395,7 +410,7 @@ function createParameterType(parameter) {
     return {
         kind: language_1.TypeUtils.typeKindFromPrimitiveTypeConstantKind(parameter.maybeType),
         maybeExtendedKind: undefined,
-        isNullable: parameter.isNullable,
+        isNullable: parameter.isNullable || parameter.isOptional,
     };
 }
 exports.createParameterType = createParameterType;