@artel/artc 0.6.25295 → 0.6.25297

package/build/Cli.js

@@ -1,11 +1,11 @@
 #!/usr/bin/env node
 import {
   CommandLineCompiler
-} from "./chunk-Q6RADCFY.js";
-import "./chunk-MODTG45P.js";
+} from "./chunk-B3ILQ5YL.js";
+import "./chunk-BRNC4VYQ.js";
 import {
   __async
-} from "./chunk-YD2DEVJP.js";
+} from "./chunk-DUXHWL3M.js";
 
 // source/Cli.ts
 function main() {

package/build/api/Api.js

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "../chunk-MODTG45P.js";
+} from "../chunk-BRNC4VYQ.js";
 import {
   AccessKind,
   AccessedFunctionParameter,
@@ -347,7 +347,7 @@ import {
   withoutQuotes,
   withoutTemplateQuotes,
   yieldTask
-} from "../chunk-YD2DEVJP.js";
+} from "../chunk-DUXHWL3M.js";
 export {
   AccessKind,
   AccessedFunctionParameter,

package/build/api/ApiNodeJS.js

@@ -6,9 +6,9 @@ import {
   PhysicalFileSystem,
   PhysicalTypeScriptLibrariesProvider,
   PrintingDiagnosticAcceptor
-} from "../chunk-Q6RADCFY.js";
-import "../chunk-MODTG45P.js";
-import "../chunk-YD2DEVJP.js";
+} from "../chunk-B3ILQ5YL.js";
+import "../chunk-BRNC4VYQ.js";
+import "../chunk-DUXHWL3M.js";
 export {
   CommandLineCompiler,
   FileSystemUri,

package/build/api/ApiServices.js

@@ -183,7 +183,7 @@ import {
   unwrapParenthesizedExpressions,
   visitChildren,
   yieldTask
-} from "../chunk-YD2DEVJP.js";
+} from "../chunk-DUXHWL3M.js";
 
 // source/services/CustomRequests.ts
 import * as ls from "vscode-languageserver";
@@ -3577,13 +3577,6 @@ var CompletionService = class {
       const standardTypes = this.analyzer.getLocalizedStandardTypes(role.errorStatement.locale);
       return { targetTypes: [standardTypes.error, standardTypes.text], targetSignaturesParameters: void 0 };
     }
-    if (role.kind === "function-block-expression") {
-      const targetType = semanticContext.getContainingSubprogram()?.getReturnType();
-      if (targetType !== void 0 && !targetType.isNullType) {
-        return { targetTypes: [targetType], targetSignaturesParameters: void 0 };
-      }
-      return { targetTypes: void 0, targetSignaturesParameters: void 0 };
-    }
     if (role.kind === "other") {
       if (role.expressionForTargetType !== void 0) {
         const targetType = this.analyzer.getTargetTypeOfExpression(role.expressionForTargetType);
@@ -5029,12 +5022,6 @@ var ExpressionRole_errorValue = class {
     this.kind = "error-value";
   }
 };
-var ExpressionRole_functionBlockExpression = class {
-  constructor(functionBlock) {
-    this.functionBlock = functionBlock;
-    this.kind = "function-block-expression";
-  }
-};
 var ExpressionRole_other = class {
   constructor(expressionForTargetType) {
     this.expressionForTargetType = expressionForTargetType;
@@ -5158,18 +5145,10 @@ var SyntaxContextFactory = class {
       return { isExpressionContext: { expressionRole: new ExpressionRole_other(void 0) }, isStatementContext: true };
     }
     if (tokenOrKeyword.isToken(46 /* OpenBrace */) && tokenOrKeyword.parent.kind === 98 /* FunctionBlock */) {
-      const block = tokenOrKeyword.parent;
-      if (block.statementList.elements.length === 0) {
-        return {
-          isExpressionContext: { expressionRole: new ExpressionRole_functionBlockExpression(block) },
-          isStatementContext: true
-        };
-      } else {
-        return {
-          isExpressionContext: { expressionRole: new ExpressionRole_other(void 0) },
-          isStatementContext: true
-        };
-      }
+      return {
+        isExpressionContext: { expressionRole: new ExpressionRole_other(void 0) },
+        isStatementContext: true
+      };
     }
     if (tokenOrKeyword.isToken(58 /* Semicolon */) && tokenOrKeyword.parent.kind === 96 /* StatementList */) {
       return { isExpressionContext: { expressionRole: new ExpressionRole_other(void 0) }, isStatementContext: true };
@@ -9542,7 +9521,9 @@ var CompilationController = class extends SxObject2 {
     });
   }
   dispose() {
-    Query.from(this.configurationControllerByPackageUri_.values()).map((c) => c.dispose());
+    for (const controller of this.configurationControllerByPackageUri_.values()) {
+      controller.dispose();
+    }
     disposeSignallingObject2(this);
   }
   reloadMainCompilation() {
@@ -9568,8 +9549,8 @@ var CompilationController = class extends SxObject2 {
         provideConfiguration: configurationProvider,
         userStandardPackagesUri: this.config.standardPackagesUri,
         builtInStandardPackagesUri: this.config.builtInStandardPackagesUri,
-        enableLogging: this.previousCompilationLoadResult === void 0,
         // Включаем логирование только при первой загрузке.
+        enableLogging: this.config.enableLogging === true && this.previousCompilationLoadResult === void 0,
         additionalPackageContents: this.config.additionalPackageContents
       };
       const currentTransaction = Transaction.current;
@@ -11439,7 +11420,8 @@ var _Workspace = class _Workspace extends SxObject6 {
           standardPackagesUri: config.standardPackagesUri,
           showErrorMessage: config.showErrorMessage,
           builtInStandardPackagesUri: config.builtInStandardPackagesUri,
-          additionalPackageContents: config.additionalPackageContents
+          additionalPackageContents: config.additionalPackageContents,
+          enableLogging: config.enableLogging ?? false
         };
         const workspace = new _Workspace(configInternal);
         return workspace;
@@ -11624,7 +11606,8 @@ var _Workspace = class _Workspace extends SxObject6 {
       showErrorMessage: this.config.showErrorMessage,
       builtInStandardPackagesUri: this.config.builtInStandardPackagesUri,
       additionalPackageContents: this.config.additionalPackageContents,
-      tsInteropInputsCache: this.tsInteropInputsCache
+      tsInteropInputsCache: this.tsInteropInputsCache,
+      enableLogging: this.config.enableLogging
     };
     return new CompilationController(config);
   }
@@ -13264,7 +13247,9 @@ var _LanguageServer = class _LanguageServer {
     this.connection.listen();
   }
   dispose() {
-    this.disposables.forEach((d) => d.dispose());
+    this.disposables.forEach((d) => {
+      d.dispose();
+    });
     this.workspace.dispose();
     this.connection.dispose();
   }
@@ -13325,7 +13310,8 @@ var _LanguageServer = class _LanguageServer {
           this.connection.window.showErrorMessage(message);
         }),
         builtInStandardPackagesUri,
-        additionalPackageContents: this.config.additionalPackageContents
+        additionalPackageContents: this.config.additionalPackageContents,
+        enableLogging: params.initializationOptions?.enableLogging
       };
       this.workspace = yield runTransactional2(() => Workspace.create(config));
       this.workspace.addWorkspaceFolders(workspaceFolderUris);

package/build/{chunk-Q6RADCFY.js → chunk-B3ILQ5YL.js}

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "./chunk-MODTG45P.js";
+} from "./chunk-BRNC4VYQ.js";
 import {
   ArtelVersion,
   Cached,
@@ -15,7 +15,7 @@ import {
   __async,
   performanceMeasurementStageNames,
   performanceMeasurementStages
-} from "./chunk-YD2DEVJP.js";
+} from "./chunk-DUXHWL3M.js";
 
 // source/executor/FileSystemUri.ts
 import { platform } from "os";

package/build/{chunk-MODTG45P.js → chunk-BRNC4VYQ.js}

@@ -10,7 +10,7 @@ import {
   WellKnownDeclarationsLoadError,
   __async,
   createTsInteropInputsForCompilation
-} from "./chunk-YD2DEVJP.js";
+} from "./chunk-DUXHWL3M.js";
 
 // source/executor/Compiler.ts
 var Compiler = class {

package/build/{chunk-YD2DEVJP.js → chunk-DUXHWL3M.js}

@@ -764,7 +764,7 @@ var UniqueWithComparatorQuery = class extends Query {
 };
 
 // source/common/Constants.ts
-var ArtelVersion = true ? "0.6.25295" : "";
+var ArtelVersion = true ? "0.6.25297" : "";
 var ArtelSourceFileExtensions = [".\u0430\u0440\u0442", ".\u0430\u0440\u0442\u0435\u043B\u044C", ".art", ".artel", ".\u0430\u0440\u0442\u043C", ".\u0430\u0440\u0442\u0435\u043B\u044C\u043C", ".artm", ".artelm"];
 var ArtelSourceFileExtensionSet = new Set(ArtelSourceFileExtensions);
 var ArtelSourceAndConfigurationFileExtensionSet = new Set(ArtelSourceFileExtensionSet).add(".json");
@@ -6975,8 +6975,8 @@ var russianKeywords = new Lazy(() => [
   { keyword: "\u0441\u043E\u0437\u0434\u0430\u043D\u0438\u0435", kind: 32 /* Creation */, flags: 12290 /* SingularNeuNoun */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0441\u0441\u044B\u043B\u043A\u0430", kind: 55 /* Reference */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0442\u0438\u043F", kind: 17 /* Type */, flags: 9218 /* SingularMasNoun */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
-  { keyword: "\u0443\u043D\u0438\u0447\u0442\u043E\u0436\u0438\u0442\u044C", kind: 47 /* Dispose */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
-  { keyword: "\u0443\u043D\u0438\u0447\u0442\u043E\u0436\u0435\u043D\u0438\u0435", kind: 48 /* Destruction */, flags: 12290 /* SingularNeuNoun */, dialects: [0 /* ArtelA */] },
+  { keyword: "\u0440\u0430\u0437\u0440\u0443\u0448\u0438\u0442\u044C", kind: 47 /* Dispose */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
+  { keyword: "\u0440\u0430\u0437\u0440\u0443\u0448\u0435\u043D\u0438\u0435", kind: 48 /* Destruction */, flags: 12290 /* SingularNeuNoun */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0443\u0441\u043B", kind: 31 /* Cond */, flags: 0 /* None */, dialects: [1 /* ArtelM */] },
   { keyword: "\u0443\u0441\u043B\u043E\u0432\u043D\u043E", kind: 31 /* Cond */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0444\u0443\u043D\u043A\u0446\u0438\u044F", kind: 13 /* Function */, flags: 10242 /* SingularFemNoun */, dialects: [0 /* ArtelA */] },
@@ -9769,7 +9769,7 @@ var StructuredType2 = class {
     return this.entity.isAbstract();
   }
   equals(other, considerLocale = false) {
-    return this === other || other.kind === "structured" && (considerLocale ? this.entity === other.entity : this.entity.getOriginalEntity() === other.entity.getOriginalEntity()) && this.substitutions.equals(other.getSubstitutions());
+    return this === other || other.kind === "structured" && (considerLocale ? this.entity === other.entity : this.entity.getOriginalEntity() === other.entity.getOriginalEntity()) && this.substitutions.equals(other.getSubstitutions(), considerLocale);
   }
   getEntity() {
     return this.entity;
@@ -10355,7 +10355,7 @@ var UnresolvedType2 = class {
   get debuggerDisplay() {
     return this.toString();
   }
-  equals(other) {
+  equals(other, _considerLocale = false) {
     return other.kind === "unresolved";
   }
   getSubstitutions() {
@@ -13378,6 +13378,7 @@ var DiagnosticCode = /* @__PURE__ */ ((DiagnosticCode2) => {
   DiagnosticCode2[DiagnosticCode2["PlainObjectFieldsMustBeConstant"] = 2218] = "PlainObjectFieldsMustBeConstant";
   DiagnosticCode2[DiagnosticCode2["PlainObjectFieldsMustBeConstantAutomaticallyCreatedStoredFieldIsNotConstant"] = 2219] = "PlainObjectFieldsMustBeConstantAutomaticallyCreatedStoredFieldIsNotConstant";
   DiagnosticCode2[DiagnosticCode2["FieldTypeCausesRecursivePlainObjectLayout"] = 2220] = "FieldTypeCausesRecursivePlainObjectLayout";
+  DiagnosticCode2[DiagnosticCode2["QuestionOperatorCanBeUsedOnlyInSpecificExpressions"] = 2221] = "QuestionOperatorCanBeUsedOnlyInSpecificExpressions";
   DiagnosticCode2[DiagnosticCode2["CannotFindTsLibDirectoryBaseSearchPaths0"] = 3e3] = "CannotFindTsLibDirectoryBaseSearchPaths0";
   DiagnosticCode2[DiagnosticCode2["SourceFile0IsNotPartOfThePackageAndWontBeLoaded"] = 3001] = "SourceFile0IsNotPartOfThePackageAndWontBeLoaded";
   DiagnosticCode2[DiagnosticCode2["ProgramWithoutMainPackageCannotBeCompiled"] = 3002] = "ProgramWithoutMainPackageCannotBeCompiled";
@@ -13702,6 +13703,7 @@ var englishErrorMessages = {
   [2218 /* PlainObjectFieldsMustBeConstant */]: "Plain object fields must be constant.",
   [2219 /* PlainObjectFieldsMustBeConstantAutomaticallyCreatedStoredFieldIsNotConstant */]: "Plain object fields must be constant. Automatically created stored field is not constant.",
   [2220 /* FieldTypeCausesRecursivePlainObjectLayout */]: "Field type causes recursive plain object layout.",
+  [2221 /* QuestionOperatorCanBeUsedOnlyInSpecificExpressions */]: "Question operator can be used only in member access, indexed access, dereference or call expressions.",
   [3e3 /* CannotFindTsLibDirectoryBaseSearchPaths0 */]: "Can not find directory with TypeScript library. Base search paths: {0}.",
   [3001 /* SourceFile0IsNotPartOfThePackageAndWontBeLoaded */]: "Source file '{0}' is not part of the package and won't be loaded.",
   [3002 /* ProgramWithoutMainPackageCannotBeCompiled */]: "Program without main package cannot be compiled.",
@@ -13980,6 +13982,7 @@ var russianErrorMessages = {
   [2218 /* PlainObjectFieldsMustBeConstant */]: "\u041F\u043E\u043B\u044F \u043F\u0440\u043E\u0441\u0442\u043E\u0433\u043E \u043E\u0431\u044A\u0435\u043A\u0442\u0430 \u0434\u043E\u043B\u0436\u043D\u044B \u0431\u044B\u0442\u044C \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442\u043D\u044B\u043C\u0438.",
   [2219 /* PlainObjectFieldsMustBeConstantAutomaticallyCreatedStoredFieldIsNotConstant */]: "\u041F\u043E\u043B\u044F \u043F\u0440\u043E\u0441\u0442\u043E\u0433\u043E \u043E\u0431\u044A\u0435\u043A\u0442\u0430 \u0434\u043E\u043B\u0436\u043D\u044B \u0431\u044B\u0442\u044C \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442\u043D\u044B\u043C\u0438. \u0410\u0432\u0442\u043E\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438 \u0441\u043E\u0437\u0434\u0430\u043D\u043D\u043E\u0435 \u0445\u0440\u0430\u043D\u0438\u043C\u043E\u0435 \u043F\u043E\u043B\u0435 \u043D\u0435 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442\u043D\u044B\u043C.",
   [2220 /* FieldTypeCausesRecursivePlainObjectLayout */]: "\u0422\u0438\u043F \u043F\u043E\u043B\u044F \u043F\u0440\u0438\u0432\u043E\u0434\u0438\u0442 \u043A \u0440\u0435\u043A\u0443\u0440\u0441\u0438\u0432\u043D\u043E\u0439 \u0441\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u0435 \u043F\u0440\u043E\u0441\u0442\u043E\u0433\u043E \u043E\u0431\u044A\u0435\u043A\u0442\u0430.",
+  [2221 /* QuestionOperatorCanBeUsedOnlyInSpecificExpressions */]: "\u041E\u043F\u0435\u0440\u0430\u0442\u043E\u0440 '?' \u043C\u043E\u0436\u0435\u0442 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u0442\u044C\u0441\u044F \u0442\u043E\u043B\u044C\u043A\u043E \u0432 \u0432\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u044F\u0445 \u0434\u043E\u0441\u0442\u0443\u043F\u0430 \u043F\u043E \u0438\u043C\u0435\u043D\u0438, \u0434\u043E\u0441\u0442\u0443\u043F\u0430 \u043F\u043E \u0438\u043D\u0434\u0435\u043A\u0441\u0443, \u0434\u043E\u0441\u0442\u0443\u043F\u0430 \u043F\u043E \u0441\u0441\u044B\u043B\u043A\u0435 \u0438 \u0432\u044B\u0437\u043E\u0432\u0430.",
   [3e3 /* CannotFindTsLibDirectoryBaseSearchPaths0 */]: "\u041D\u0435 \u0443\u0434\u0430\u043B\u043E\u0441\u044C \u043D\u0430\u0439\u0442\u0438 \u043F\u0430\u043F\u043A\u0443 \u0441\u043E \u0441\u0442\u0430\u043D\u0434\u0430\u0440\u0442\u043D\u043E\u0439 \u0431\u0438\u0431\u043B\u0438\u043E\u0442\u0435\u043A\u043E\u0439 TypeScript. \u041F\u0443\u0442\u0438, \u043E\u0442\u043D\u043E\u0441\u0438\u0442\u0435\u043B\u044C\u043D\u043E \u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u043E\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043B\u044F\u043B\u0441\u044F \u043F\u043E\u0438\u0441\u043A: {0}.",
   [3001 /* SourceFile0IsNotPartOfThePackageAndWontBeLoaded */]: "\u0418\u0441\u0445\u043E\u0434\u043D\u044B\u0439 \u0444\u0430\u0439\u043B '{0}' \u043D\u0435 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0447\u0430\u0441\u0442\u044C\u044E \u043F\u0430\u043A\u0435\u0442\u0430 \u0438 \u043D\u0435 \u0431\u0443\u0434\u0435\u0442 \u0437\u0430\u0433\u0440\u0443\u0436\u0435\u043D.",
   [3002 /* ProgramWithoutMainPackageCannotBeCompiled */]: "\u041F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0430 \u0431\u0435\u0437 \u0433\u043B\u0430\u0432\u043D\u043E\u0433\u043E \u043F\u0430\u043A\u0435\u0442\u0430 \u043D\u0435 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0441\u043A\u043E\u043C\u043F\u0438\u043B\u0438\u0440\u043E\u0432\u0430\u043D\u0430.",
@@ -33488,9 +33491,11 @@ var Resolver6 = class {
       }
     }
     const calleeType = this.analyzer.type.ofExpression(callee);
-    const essentialCalleeType = unaliasType(this.analyzer.excludeNullFromType(calleeType));
+    const calleeTypeWithoutNull = this.analyzer.excludeNullFromType(calleeType);
+    const essentialCalleeType = unaliasType(calleeTypeWithoutNull);
     if (essentialCalleeType.kind === "function") {
-      return this.resolveObjectFunctionCallExpression(essentialCalleeType);
+      const isOriginalCalleeTypeNullable = !calleeTypeWithoutNull.equals(calleeType);
+      return this.resolveObjectFunctionCallExpression(essentialCalleeType, isOriginalCalleeTypeNullable);
     }
     if (calleeType.kind !== "unresolved" && this.diagnostics !== void 0) {
       let nodeForDiagnostic = callee;
@@ -33631,7 +33636,13 @@ var Resolver6 = class {
       resolved.singleNotSuitableSubstitutedCandidate
     );
   }
-  resolveObjectFunctionCallExpression(type) {
+  resolveObjectFunctionCallExpression(type, isOriginalCalleeTypeNullable) {
+    if (isOriginalCalleeTypeNullable) {
+      this.diagnostics?.addDiagnostic(this.analyzer.createDiagnostic(
+        2102 /* ExpressionCanBeNull */,
+        this.node.expression
+      ));
+    }
     const signature = new FunctionTypeMatcherSignature2(this.analyzer, type);
     const args = this.node.argumentList.arguments.map((a) => new SourceArgument(this.analyzer, a)).toArray();
     const matcher_ = new ArgumentToParameterMatcher(this.analyzer, signature, args, this.diagnostics, this.node.argumentList);
@@ -33895,7 +33906,14 @@ var Resolver7 = class {
   }
   resolve() {
     let receiverType = this.analyzer.type.ofExpression(this.node.expression);
-    receiverType = this.analyzer.excludeNullFromType(receiverType);
+    const receiverTypeWithoutNull = this.analyzer.excludeNullFromType(receiverType);
+    if (!receiverTypeWithoutNull.equals(receiverType)) {
+      this.diagnostics?.addDiagnostic(this.analyzer.createDiagnostic(
+        2102 /* ExpressionCanBeNull */,
+        this.node.expression
+      ));
+      receiverType = receiverTypeWithoutNull;
+    }
     if (receiverType.kind === "unresolved") {
       return new Meaning_unresolved4();
     }
@@ -34418,7 +34436,14 @@ var Resolver8 = class {
   }
   resolve() {
     let receiverType = this.analyzer.type.ofExpression(this.node.expression);
-    receiverType = this.analyzer.excludeNullFromType(receiverType);
+    const receiverTypeWithoutNull = this.analyzer.excludeNullFromType(receiverType);
+    if (!receiverTypeWithoutNull.equals(receiverType)) {
+      this.diagnostics?.addDiagnostic(this.analyzer.createDiagnostic(
+        2102 /* ExpressionCanBeNull */,
+        this.node.expression
+      ));
+      receiverType = receiverTypeWithoutNull;
+    }
     if (receiverType.kind === "unresolved") {
       return new Meaning_unresolved6();
     }
@@ -34780,7 +34805,14 @@ var FirstStageResolver3 = class {
     }
   }
   resolveInstanceMemberAccessMeaning(type) {
-    type = this.analyzer.excludeNullFromType(type);
+    const typeWithoutNull = this.analyzer.excludeNullFromType(type);
+    if (!typeWithoutNull.equals(type)) {
+      this.diagnostics?.addDiagnostic(this.analyzer.createDiagnostic(
+        2102 /* ExpressionCanBeNull */,
+        this.receiver
+      ));
+      type = typeWithoutNull;
+    }
     if (type.kind === "unresolved") {
       return new Meaning_unresolved7();
     }
@@ -50023,9 +50055,28 @@ var SourceFileAnalyzer = class {
         this.analyzer.resolveOwnConstructorCallExpression(node);
         break;
       }
+      case 64 /* AssumptionExpression */: {
+        this.checkAssumptionExpression(node);
+        break;
+      }
     }
     return void 0;
   }
+  checkAssumptionExpression(node) {
+    const parent = getParentSkippingParenthesizedExpressions(node);
+    switch (parent.kind) {
+      case 78 /* MemberAccessExpression */:
+      case 70 /* CallExpression */:
+      case 72 /* IndexedAccessExpression */:
+      case 80 /* DereferenceExpression */:
+        break;
+      default:
+        this.addDiagnostic(this.analyzer.createDiagnostic(
+          2221 /* QuestionOperatorCanBeUsedOnlyInSpecificExpressions */,
+          node.questionToken
+        ));
+    }
+  }
   checkStatementBlock(node) {
     const semanticContext = this.analyzer.semanticContext.ofStatementBlock(node);
     semanticContext.validateNameConflicts(this.diagnosticAcceptor);
@@ -50477,10 +50528,6 @@ var SourceFileAnalyzer = class {
   checkDereferenceExpression(node) {
     const meaning = this.analyzer.resolveDereferenceExpression(node);
     if (meaning.kind === "resolved") {
-      const receiverType = this.analyzer.type.ofExpression(node.expression);
-      if (this.analyzer.canTypeBeNull(receiverType)) {
-        this.addDiagnostic(this.analyzer.createDiagnostic(2102 /* ExpressionCanBeNull */, node.expression));
-      }
       const entity = meaning.operator.getEntity();
       if (this.isReceiverBaseAutoVariableAccess(node.expression) && TypeMemberEntity.isAbstract(entity)) {
         this.addDiagnostic(this.analyzer.createDiagnostic(
@@ -50493,10 +50540,6 @@ var SourceFileAnalyzer = class {
   checkIndexedAccessExpression(node) {
     const meaning = this.analyzer.resolveIndexedAccessExpression(node);
     if (meaning.kind !== "unresolved") {
-      const receiverType = this.analyzer.type.ofExpression(node.expression);
-      if (this.analyzer.canTypeBeNull(receiverType)) {
-        this.addDiagnostic(this.analyzer.createDiagnostic(2102 /* ExpressionCanBeNull */, node.expression));
-      }
       const entity = meaning.singleIndexer?.getEntity();
       if (entity !== void 0 && this.isReceiverBaseAutoVariableAccess(node.expression) && TypeMemberEntity.isAbstract(entity)) {
         const range = new Range(
@@ -50530,12 +50573,6 @@ var SourceFileAnalyzer = class {
         ));
       }
     }
-    if (meaning.kind === "object-function-call") {
-      const calleeType = this.analyzer.type.ofExpression(node.expression);
-      if (this.analyzer.canTypeBeNull(calleeType)) {
-        this.addDiagnostic(this.analyzer.createDiagnostic(2102 /* ExpressionCanBeNull */, node.expression));
-      }
-    }
   }
   addNotTranslatedTextsDiagnostics(translationPackage, diagnosticLocation) {
     const notTranslatedEntities = this.collectNotTranslatedTexts(translationPackage);
@@ -51226,12 +51263,6 @@ var SourceFileAnalyzer = class {
       default:
         Debug.never(meaning);
     }
-    if (meaning.kind === "instance-field-access" || meaning.kind === "instance-method-access" || meaning.kind === "operator-access") {
-      const receiverType = this.analyzer.type.ofExpression(node.expression);
-      if (this.analyzer.canTypeBeNull(receiverType)) {
-        this.addDiagnostic(this.analyzer.createDiagnostic(2102 /* ExpressionCanBeNull */, node.expression));
-      }
-    }
   }
   checkExpressionTypeIsAssignableToTargetType(node, targetType, diagnosticCode = 2032 /* Type0IsNotAssignableToType1 */) {
     if (targetType === void 0) {

package/build/types/analysis/SourceFileAnalyzer.d.ts

@@ -20,6 +20,7 @@ export declare class SourceFileAnalyzer {
     constructor(analyzer: Analyzer, sourceFile: project.SourceFile);
     analyze(taskController: TaskController): Promise<Diagnostic[]>;
     private analyzeNode;
+    private checkAssumptionExpression;
     private checkStatementBlock;
     private checkFunctionBlock;
     private checkPackageStructuredTypeDeclaration;

package/build/types/diagnostic/DiagnosticCode.d.ts

@@ -257,6 +257,7 @@ export declare enum DiagnosticCode {
     PlainObjectFieldsMustBeConstant = 2218,
     PlainObjectFieldsMustBeConstantAutomaticallyCreatedStoredFieldIsNotConstant = 2219,
     FieldTypeCausesRecursivePlainObjectLayout = 2220,
+    QuestionOperatorCanBeUsedOnlyInSpecificExpressions = 2221,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 3000,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 3001,
     ProgramWithoutMainPackageCannotBeCompiled = 3002,

package/build/types/services/LanguageServer.d.ts

@@ -127,6 +127,7 @@ export interface ArtelServerInitializationOptions {
     workspaceFoldersOverride?: ls.WorkspaceFolder[];
     localeOverride?: string;
     standardPackagesUri?: ls.URI;
+    enableLogging?: boolean;
 }
 export declare class ClientCancellationToken implements CancellationToken {
     private readonly token;

package/build/types/services/workspace/CompilationController.d.ts

@@ -65,6 +65,7 @@ export interface CompilationControllerConfig {
     readonly builtInStandardPackagesUri?: Uri;
     readonly additionalPackageContents?: readonly PackageContent[];
     readonly tsInteropInputsCache?: TsInteropInputsCache;
+    readonly enableLogging?: boolean;
 }
 export declare enum CompilationControllerState {
     Created = 0,

package/build/types/services/workspace/Workspace.d.ts

@@ -60,4 +60,5 @@ export interface WorkspaceConfig {
     readonly showErrorMessage?: (message: string) => Promise<void>;
     readonly builtInStandardPackagesUri?: Uri;
     readonly additionalPackageContents?: readonly PackageContent[];
+    readonly enableLogging?: boolean;
 }

package/build/types/types/UnresolvedType.d.ts

@@ -8,7 +8,7 @@ export declare class UnresolvedType implements IType {
     get isNullType(): boolean;
     get debuggerDisplay(): string;
     constructor(analyzer: Analyzer);
-    equals(other: Type): boolean;
+    equals(other: Type, _considerLocale?: boolean): boolean;
     getSubstitutions(): Substitutions;
     applySubstitutions(_substitutions: Substitutions): Type;
     getEntity(): TypeEntity | undefined;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.25295",
+  "version": "0.6.25297",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "LGPL-3.0-or-later",