@artel/artc 0.6.25230 → 0.6.25232

package/build/{chunk-3LHZOXTJ.js → chunk-QDDCF32T.js}

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "./chunk-WS3ILL2L.js";
+} from "./chunk-S7ZUX7EX.js";
 import {
   ArtelVersion,
   Cached,
@@ -14,7 +14,7 @@ import {
   __async,
   performanceMeasurementStageNames,
   performanceMeasurementStages
-} from "./chunk-ZUIGWNN5.js";
+} from "./chunk-E72KEKQV.js";
 
 // source/executor/FileSystemUri.ts
 import { platform } from "os";

package/build/{chunk-WS3ILL2L.js → chunk-S7ZUX7EX.js}

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

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

@@ -98,6 +98,7 @@ export declare class Analyzer {
     private readonly _diagnosticsComputedLazily;
     private readonly _diagnosticsComputedLazilyAcceptor;
     private readonly _sourcePackageMemberConflictsDiagnostics;
+    private readonly _notImplementedAbstractTypeMembers;
     get tsInterop(): TsInteropContext;
     constructor(compilation: project.Compilation, tsInteropInputs: TsInteropInputs);
     getProjectSourceFile(node: tree.SourceFile): project.SourceFile;
@@ -171,8 +172,6 @@ export declare class Analyzer {
     createNameFromIdentifier(node: tree.Identifier): Name;
     createSearchNameFromIdentifier(identifier: tree.Identifier): SearchName;
     createLocalizationContext(sourceFile: project.SourceFile): LocalizationContext;
-    typeIsValidBaseObjectType(type: types.Type): boolean;
-    typeIsValidBaseAspectType(type: types.Type): boolean;
     getImplicitBaseTypeForStructuredType(entity: e.StructuredTypeEntity): types.StructuredType | undefined;
     getImplicitBaseTypeForVariantType(): types.StructuredType;
     getImplicitBaseTypeForFunctionType(): types.StructuredType;
@@ -277,8 +276,10 @@ export declare class Analyzer {
     createAmbiguousNamedScopeDeclarationAccessLazyDiagnostic(declarations: readonly WithLocalization<semanticContext.NamedDeclaration>[], lctx: LocalizationContext, node: tree.Node): Lazy<Diagnostic>;
     addDiagnosticComputedLazily(diagnostic: Diagnostic): void;
     getAcceptorForDiagnosticsComputedLazily(): DiagnosticAcceptor;
-    getDiagnosticsComputedLazily(sourceFile: project.SourceFile): readonly Diagnostic[];
+    getSourceFileDiagnosticsComputedLazily(sourceFile: project.SourceFile): readonly Diagnostic[];
+    getDiagnosticsWithoutLocationComputedLazily(): readonly Diagnostic[];
     validateSourcePackageMemberConflicts(pkg: project.ProgramPackage): readonly Diagnostic[];
+    getNotImplementedAbstractMembers(typeEntity: e.TypeEntityWithMembers): readonly types.TypeMember[];
     private createTsInterop;
 }
 export declare class TsInteropInputs {
@@ -482,28 +483,56 @@ declare class DefaultConstructors {
 }
 declare class OverriddenMember {
     private readonly _analyzer;
+    private readonly _fieldFinder;
+    private readonly _methodFinder;
+    private readonly _operatorFinder;
+    private readonly _indexerFinder;
+    private readonly _dereferenceOperatorFinder;
+    private readonly _overriddenAndShadowedFields;
+    private readonly _overriddenAndShadowedMethods;
+    private readonly _overriddenAndShadowedOperators;
+    private readonly _overriddenAndShadowedIndexers;
+    private readonly _overriddenAndShadowedDereferenceOperators;
     constructor(_analyzer: Analyzer);
-    getOverriddenFields(node: tree.FieldDeclaration | FieldAccessorDeclaration): types.Field[];
-    getOverriddenMethods(node: tree.MethodDeclaration): types.Method[];
-    getOverriddenOperators(node: tree.OperatorDeclaration): types.Operator[];
-    getOverriddenIndexers(node: IndexedElementAccessorDeclaration): types.Indexer[];
-    getOverriddenDereferenceOperators(node: DereferencedVariableAccessorDeclaration): types.DereferenceOperator[];
-    private findOverriddenFieldInType;
-    private findOverriddenMethodInType;
-    private findOverriddenOperatorInType;
-    private findOverriddenIndexerInType;
-    private findOverriddenDereferenceOperatorInType;
-    private checkFieldOverridesField;
-    private checkMethodOverridesMethod;
-    private checkOperatorOverridesOperator;
-    private checkIndexerOverridesIndexer;
-    private checkDereferenceOperatorOverridesDereferenceOperator;
-    private enumerateTypeMemberLookupsForOverriddenMember;
+    getOverriddenAndShadowedFields(node: tree.FieldDeclaration | FieldAccessorDeclaration): OverriddenAndShadowedMembers<types.Field>;
+    getOverriddenAndShadowedMethods(node: tree.MethodDeclaration): OverriddenAndShadowedMembers<types.Method>;
+    getOverriddenAndShadowedOperators(node: tree.OperatorDeclaration): OverriddenAndShadowedMembers<types.Operator>;
+    getOverriddenAndShadowedIndexers(node: IndexedElementAccessorDeclaration): OverriddenAndShadowedMembers<types.Indexer>;
+    getOverriddenAndShadowedDereferenceOperators(node: DereferencedVariableAccessorDeclaration): OverriddenAndShadowedMembers<types.DereferenceOperator>;
+    entityCanBeOverridden(entity: OverridableTypeMemberEntity): boolean;
+    getEntityTypeOrReturnType(entity: OverridableTypeMemberEntity): types.Type;
+    getMemberTypeOrReturnType(member: OverridableTypeMember): types.Type;
+    private findOverriddenMembers;
+    private findOverriddenOrShadowedFieldInType;
+    private findOverriddenOrShadowedMethodInType;
+    private findOverriddenOrShadowedOperatorInType;
+    private findOverriddenOrShadowedIndexerInType;
+    private findOverriddenOrShadowedDereferenceOperatorInType;
+    private checkMethodOverridesOrShadowsMethod;
+    private checkOperatorOverridesOrShadowsOperator;
+    private checkIndexerOverridesOrShadowsIndexer;
+    private enumerateTypeMemberLookups;
     private enumerateTypesForOverriddenMemberLookup;
-    private entityCanOverride;
-    private entityCanBeOverridden;
-    private addTypeMemberIfUnique;
+    private entityCanOverrideOrShadow;
 }
+export declare enum ShadowReason {
+    BaseMemberCanNotBeOverridden = 0,
+    NoOverrideModifier = 1,
+    NoOverrideModifierAndTypeOrReturnTypeMismatch = 2,
+    TypeOrReturnTypeMismatch = 3
+}
+export declare class ShadowedMemberInfo<T extends OverridableTypeMember = OverridableTypeMember> {
+    readonly value: T;
+    readonly shadowReason: ShadowReason;
+    constructor(value: T, shadowReason: ShadowReason);
+}
+export declare class OverriddenAndShadowedMembers<T extends OverridableTypeMember = OverridableTypeMember> {
+    readonly overriddenMembers: readonly T[];
+    readonly shadowedMembers: readonly ShadowedMemberInfo<T>[];
+    constructor(overriddenMembers: readonly T[], shadowedMembers: readonly ShadowedMemberInfo<T>[]);
+}
+export type OverridableTypeMemberEntity = e.FieldEntity | e.MethodEntity | e.OperatorEntity | e.IndexerEntity | e.DereferenceOperatorEntity;
+export type OverridableTypeMember = types.Field | types.Method | types.Operator | types.Indexer | types.DereferenceOperator;
 declare class Tags {
     readonly _analyzer: Analyzer;
     private readonly _tags;
@@ -578,13 +607,17 @@ declare class OwningPlainObjectModificationCheck {
     private nodeBelongsToPlainObjectDeclaration;
 }
 export declare enum TypeAssignabilityFlags {
-    NotAssignable = 0,
-    Identity = 1,
-    DerivedToBase = 2,
-    FunctionTypes = 4,
-    ImplicitConversion = 8,
+    None = 0,
+    /**
+     * Если флаг NotAssignable установлен, никакие другие флаги не могут быть установлены.
+     */
+    NotAssignable = 1,
+    Identity = 2,
+    DerivedToBase = 4,
+    FunctionTypes = 8,
+    ImplicitConversion = 16,
     First = 1,
-    Last = 8
+    Last = 16
 }
 declare class PackageImports {
     private readonly _analyzer;
@@ -623,6 +656,9 @@ declare class TypeUtils {
     getCommonObjectAndAspectTypesOfUnion(unionType: types.UnionType): readonly types.StructuredType[];
     removeBaseTypesInPlace(types: types.Type[]): void;
     removeDerivedTypesInPlace(types: types.Type[]): void;
+    getBaseTypes(type: types.Type): readonly types.Type[];
+    getBaseTypesRecursively(type: types.Type): readonly types.Type[];
+    private collectBaseTypesRecursively;
     private getBaseTypesForCommonTypesSearch;
     private addTypeAndCollectAllBaseTypes;
     private addTypeIfUnique;
@@ -653,6 +689,8 @@ declare class ConflictsCheck {
     doFunctionSignaturesConflict(function1: e.FunctionEntity, function2: e.FunctionEntity): boolean;
     /**
      * Проверяет, конфликтуют две сущности, имеющие параметры, но не имеющие параметры типа.
+     *
+     * Отношение "сущности, имеющие только параметры, конфликтуют" является транзитивным.
      */
     doSignaturesWithoutTypeParametersConflict(entity1: EntityWithoutTypeParametersInSignature, entity2: EntityWithoutTypeParametersInSignature): boolean;
     /**

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

@@ -5,9 +5,12 @@ import { Analyzer } from './Analyzer.js';
 import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
 /**
  * "основа" не является самостоятельным выражением и может использоваться только в следующих конструкциях:
- * 1. основа() - в конструкторе для вызова базового конструктора или в методе для вызова базового метода.
- * 2. основа.поле (основа.метод) - в любом выражении в контексте типа, имеющего базовый тип.
- * 3. основа[] - аналогично п. 2.
+ * 1. `основа()` - в конструкторе для вызова базового конструктора или в методе для вызова базового метода.
+ * 2. `основа.поле` (`основа.метод`) - в любом выражении в контексте типа, имеющего базовый тип.
+ * 3. `основа[]` - аналогично п. 2.
+ * 4. `основа^` - аналогично п. 2.
+ * 5. `(основа как БазовыйАспект).поле`, `(основа как БазовыйАспект)[]`, `(основа как БазовыйАспект)^` - для доступа к
+ *    реализации по умолчанию члена базового аспекта.
  */
 export declare class Resolver {
     private readonly _analyzer;

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

@@ -12,6 +12,7 @@ export declare class DiagnosticCollector {
     private readonly _diagnostics;
     private readonly _diagnosticAcceptor;
     private _namedDeclarationsCountResult;
+    private readonly _modifierValidator;
     private get node();
     private get translationPackage();
     private get isInterfacePackageFile();
@@ -80,6 +81,9 @@ export declare class DiagnosticCollector {
     private checkIfNestedFunctionIsUnused;
     private checkIfTypeParameterIsUnused;
     private checkAllCodePathsReturnOrResultVariableIsAssigned;
+    private checkTypeMemberIncorrectlyOverridesOrShadowsBaseMember;
+    private isReceiverBaseAutoVariableAccess;
+    private overridingMemberHasCorrectHiding;
     private addDiagnostic;
     private addDiagnostics;
     private addMaybeLazyDiagnostic;

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

@@ -3,4 +3,5 @@ import { ModifierFlags } from './ModifierFlags.js';
 type NodeWithModifiers = tree.PackageMemberDeclaration | tree.TypeMemberDeclaration;
 export declare function findModifier(node: NodeWithModifiers, modifierKeywordKind: tree.ModifierKeywordKind): tree.Modifier | undefined;
 export declare function createDeclaredModifierFlags(node: NodeWithModifiers): ModifierFlags;
+export declare function modifierToModifierFlag(modifier: tree.Modifier): ModifierFlags;
 export {};

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

@@ -13,7 +13,7 @@ export declare class Resolver {
     private readonly _analyzer;
     private readonly _node;
     private readonly _targetTypeHint;
-    private get propertySearchName();
+    private get memberSearchName();
     private get semanticContext();
     private get receiver();
     constructor(analyzer: Analyzer, node: tree.MemberAccessExpression, targetTypeHint: TargetTypeHint | undefined);

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

@@ -5,11 +5,16 @@ export declare enum ModifierFlags {
     HiddenInHierarchy = 4,
     HiddenInFile = 8,
     HiddenInPackage = 16,
-    Basic = 32,
-    Static = 64,
-    Abstract = 128,
+    Static = 32,
+    Abstract = 64,
+    Basic = 128,
     Override = 256,
     Async = 512,
     Const = 1024,
-    NotComputed = 2048
+    First = 1,
+    Last = 1024,
+    NotComputed = 2048,
+    AnyHiddenModifier = 31,
+    HiddenInPackageOrWithoutLevel = 17,
+    HiddenInTypeOrWithoutLevel = 3
 }

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

@@ -0,0 +1,84 @@
+import { PackageDialect, PackageLocale } from '../common/index.js';
+import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
+import * as tree from '../tree/index.js';
+import { Analyzer } from './Analyzer.js';
+import { ModifierFlags } from './ModifierFlags.js';
+declare enum PackageMemberDeclarationKind {
+    TranslationsDeclaration = 0,
+    AliasTypeDeclaration = 1,
+    MemberGroupDeclaration = 2,
+    TypeExtensionDeclaration = 3,
+    ConstructorDeclaration = 4,
+    EntryPointDeclaration = 5,
+    FunctionDeclaration = 6,
+    FunctionTypeDeclaration = 7,
+    ObjectTypeDeclaration = 8,
+    PlainObjectTypeDeclaration = 9,
+    AspectTypeDeclaration = 10,
+    VariableDeclaration = 11,
+    VariableGetterDeclaration = 12,
+    VariableSetterDeclaration = 13,
+    VariantTypeDeclaration = 14,
+    InvalidDeclaration = 15
+}
+type TypeMemberDeclarationKind = tree.TypeMemberDeclaration['kind'];
+export declare enum DeclarationWithTypeMembersKind {
+    ObjectType = 0,
+    PlainObjectType = 1,
+    AspectType = 2,
+    VariantType = 3,
+    AliasType = 4,
+    TypeExtension = 5
+}
+export declare class ModifierValidator {
+    private readonly _analyzer;
+    private readonly _diagnostics;
+    private readonly _locale;
+    private readonly _dialect;
+    static readonly allowedPackageMemberHidingModifiers: number;
+    static readonly allowedPackageMemberModifiers: number;
+    static readonly allowedModifiersByPackageMemberDeclarationKind: {
+        [T in PackageMemberDeclarationKind]: ModifierFlags;
+    };
+    static readonly allowedTypeMemberHidingModifiers: number;
+    static readonly allowedTypeMemberModifiers: number;
+    static readonly allowedModifiersByTypeMemberDeclarationKind: {
+        [T in TypeMemberDeclarationKind]: ModifierFlags;
+    };
+    constructor(_analyzer: Analyzer, _diagnostics: DiagnosticAcceptor, _locale: PackageLocale, _dialect: PackageDialect);
+    static validatePackageVariableAccessorsHaveConsistentModifiers(analyzer: Analyzer, getterModifiers: ModifierFlags, setterModifiers: ModifierFlags, nodeForDiagnostic: tree.Node, diagnostics: DiagnosticAcceptor): void;
+    static validateFieldAccessorsHaveConsistentModifiers(analyzer: Analyzer, getterModifiers: ModifierFlags, setterModifiers: ModifierFlags, nodeForDiagnostic: tree.Node, diagnostics: DiagnosticAcceptor): void;
+    static validateIndexedElementAccessorsHaveConsistentModifiers(analyzer: Analyzer, getterModifiers: ModifierFlags, setterModifiers: ModifierFlags, nodeForDiagnostic: tree.Node, diagnostics: DiagnosticAcceptor): void;
+    static validateDereferencedVariableAccessorsHaveConsistentModifiers(analyzer: Analyzer, getterModifiers: ModifierFlags, setterModifiers: ModifierFlags, nodeForDiagnostic: tree.Node, diagnostics: DiagnosticAcceptor): void;
+    validateTopLevelPackageMembers(list: tree.PackageMemberDeclarationList): void;
+    validateTopLevelTypeMembers(list: tree.TypeMemberDeclarationList, declarationWithMembersKind: DeclarationWithTypeMembersKind, isTypeMarkedAbstract: boolean, isTypeMarkedBasic: boolean): void;
+    private static validateTypeMemberAccessorsHaveConsistentModifiers;
+    private static validatePackageMemberSetterHasMoreRestrictiveHidingLevel;
+    private static validateTypeMemberSetterHasMoreRestrictiveHidingLevel;
+    private static reportMoreRestrictiveHidingLevelIsRequired;
+    private static reportSetterMustHaveSameModifiersAsGetter;
+    private validatePackageMembers;
+    private validatePackageMemberModifierList;
+    private validatePackageMemberCanBePlacedInGroupWithModifiers;
+    private validatePackageConstructorDeclaration;
+    private validatePackageEntryPointDeclaration;
+    private validateTranslationsDeclaration;
+    private validateTypeMembers;
+    private validateTypeMemberModifierList;
+    private validateTypeMemberCanBePlacedInGroupWithModifiers;
+    private validateFieldCanBePlacedInGroupWithModifiers;
+    private typeMemberAllowsAbstractModifier;
+    private typeMemberAllowsBasicModifier;
+    private typeMemberAllowsOverrideModifier;
+    private typeMemberAllowsStaticModifier;
+    private reportDuplicateModifier;
+    private reportDuplicateHiddenModifier;
+    private reportDeclarationCanNotBePlacedInGroupWithModifier;
+    private reportModifierCanNotBeUsedWithAnotherModifier;
+    private reportModifierIsNotAllowedHere;
+    private displayModifierNode;
+    private displayModifierFlag;
+    private displayModifier;
+    private forEachModifierFlag;
+}
+export {};

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

@@ -0,0 +1,22 @@
+import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
+import { OriginalTypeEntityMembers } from '../entities/TypeEntityMembers.js';
+import { Analyzer } from './Analyzer.js';
+export declare class TypeMemberConflictsValidator {
+    private readonly _analyzer;
+    private readonly _members;
+    private readonly _diagnostics;
+    constructor(_analyzer: Analyzer, _members: OriginalTypeEntityMembers, _diagnostics: DiagnosticAcceptor);
+    validate(): void;
+    private validateNamedMembers;
+    private validateNamedMembersWithoutIsStaticCheck;
+    private validateMethodsWithSameName;
+    private validateConstructors;
+    private validateDestructors;
+    private validateOperators;
+    private validateIndexers;
+    private validateDereferenceOperators;
+    private validateMembersWithoutTypeParametersInSignature;
+    private reportNameConflictDiagnosticsForAllEntities;
+    private reportNameConflictDiagnostic;
+    private getDiagnosticLocation;
+}

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

@@ -0,0 +1,13 @@
+import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
+import { TypeEntityWithMembers } from '../entities/index.js';
+import { DisplayService } from '../services/DisplayService.js';
+import { Analyzer } from './Analyzer.js';
+export declare class TypeMemberImplementationValidator {
+    private readonly _analyzer;
+    private readonly _typeEntity;
+    private readonly _displayService;
+    private readonly _diagnostics;
+    constructor(_analyzer: Analyzer, _typeEntity: TypeEntityWithMembers, _displayService: DisplayService, _diagnostics: DiagnosticAcceptor);
+    validate(): void;
+    private getDiagnosticLocation;
+}

package/build/types/common/ArrayUtils.d.ts

@@ -0,0 +1,13 @@
+export declare class ArrayUtils {
+    /**
+     * Удаляет элемент из массива по заданному индексу.
+     *
+     * Работает быстрее, чем `array.splice(index, 1)`, и не выделяет память для массива удалённых элементов.
+     */
+    static removeElement<T>(array: T[], index: number): void;
+    static pushElementIfUniqueComparingWithEquals<T extends WithEqualsMethod<T>>(array: T[], element: T): void;
+    static pushElementsIfUniqueComparingWithEquals<T extends WithEqualsMethod<T>>(array: T[], elements: readonly T[]): void;
+}
+export type WithEqualsMethod<T> = {
+    equals(t: T): boolean;
+};

package/build/types/common/index.d.ts

@@ -1,4 +1,5 @@
 export * from './AccessKind.js';
+export * from './ArrayUtils.js';
 export * from './ArtelFileCheck.js';
 export * from './Cached.js';
 export * from './CancellationToken.js';

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

@@ -88,61 +88,102 @@ export declare enum DiagnosticCode {
     BodyIsMissing = 250,
     AbstractTypeMembersMustNotHaveBody = 251,
     MembersOfAspectTypeMustNotHaveBody = 252,
-    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 253,
-    AbstractVariablesMustNotHaveInitializers = 254,
-    PackageIsAlreadyImportedInAnotherLanguage = 255,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 256,
-    FunctionsUsingYieldStatementCannotReturnValue = 257,
-    YieldStatementCannotBeUsedInAnonymousFunctions = 258,
-    YieldStatementCannotBeUsedHere = 259,
-    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 260,
-    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 261,
-    YieldStatementCannotBeUsedInFinallyClause = 262,
-    SubprogramMustReturnValue = 263,
-    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 264,
-    TypeAliasReferencesItself = 265,
-    TypeParameterHasCircularConstraint = 266,
-    BaseTypeCausesInheritanceCycle = 267,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 268,
-    Expected0TypeArguments = 269,
-    ExpectedFrom0To1TypeArguments = 270,
-    Type0IsNotAssignableToConstraint1 = 271,
-    VariableIsDeclaredButItsValueIsNeverRead = 272,
-    FunctionIsDeclaredButNotUsed = 273,
-    TypeParameterIsDeclaredButNotUsed = 274,
-    DefaultConstructorArgumentsMustBeNamed = 275,
-    IncorrectBodyOfBasicAliasTypeMethod = 276,
-    TheFollowingDeclarationsAreNotTranslated0 = 277,
-    TheFollowingDeclarationAreNotTranslated0And1More = 278,
-    OperatorFunctionMustNotBeStatic = 279,
+    AspectTypeFieldsMustBeAbstract = 253,
+    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 254,
+    AbstractFieldsMustNotHaveInitializers = 255,
+    PackageIsAlreadyImportedInAnotherLanguage = 256,
+    OnlySubprogramsWithReturnTypeCanReturnValue = 257,
+    FunctionsUsingYieldStatementCannotReturnValue = 258,
+    YieldStatementCannotBeUsedInAnonymousFunctions = 259,
+    YieldStatementCannotBeUsedHere = 260,
+    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 261,
+    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 262,
+    YieldStatementCannotBeUsedInFinallyClause = 263,
+    SubprogramMustReturnValue = 264,
+    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 265,
+    TypeAliasReferencesItself = 266,
+    TypeParameterHasCircularConstraint = 267,
+    BaseTypeCausesInheritanceCycle = 268,
+    OnlyGenericTypesAndFunctionsCanBeSpecialized = 269,
+    Expected0TypeArguments = 270,
+    ExpectedFrom0To1TypeArguments = 271,
+    Type0IsNotAssignableToConstraint1 = 272,
+    VariableIsDeclaredButItsValueIsNeverRead = 273,
+    FunctionIsDeclaredButNotUsed = 274,
+    TypeParameterIsDeclaredButNotUsed = 275,
+    DefaultConstructorArgumentsMustBeNamed = 276,
+    IncorrectBodyOfBasicAliasTypeMethod = 277,
+    TheFollowingDeclarationsAreNotTranslated0 = 278,
+    TheFollowingDeclarationAreNotTranslated0And1More = 279,
     OperatorFunction0MustNotHaveParameters = 280,
     OperatorFunction0MustHaveOneParameter = 281,
     OperatorFunction0MustHaveNoMoreThanOneParameter = 282,
     CorrespondingBasicTypeMemberNotFound = 283,
-    ConstructorCannotBeDeclaredAsBasic = 284,
-    ConstructorCannotBeDeclaredAsOverridden = 285,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 286,
-    TagNotFound = 287,
-    TypeOrFunctionNameExpected = 288,
-    PackageNameOrAliasExpected = 289,
-    ExpressionCanBeNone = 290,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 291,
-    UnreachableCode = 292,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 293,
-    RecursionOccurredWhileInferringTheTypeOfTheVariable = 294,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 295,
-    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 296,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 297,
-    PackageAlreadyContainsDeclarationWithTheSameName = 298,
-    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 299,
-    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 300,
-    PackageAliasWithTheSameNameAlreadyExits = 301,
-    PackageCanHaveOnlyEntryPoint = 302,
-    PackageCanHaveOnlyOneConstructor = 303,
-    VariableIsUsedBeforeItsDeclaration = 304,
-    VariableMayNotHasBeenAssignedBeforeUsage = 305,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 306,
-    WriteFunctionHasNoCorrespondingReadFunction = 307,
+    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 284,
+    TagNotFound = 285,
+    TypeOrFunctionNameExpected = 286,
+    PackageNameOrAliasExpected = 287,
+    ExpressionCanBeNone = 288,
+    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 289,
+    UnreachableCode = 290,
+    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 291,
+    RecursionOccurredWhileInferringTheTypeOfTheVariable = 292,
+    ScopeAlreadyContainsDeclarationWithTheSameName = 293,
+    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 294,
+    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 295,
+    PackageAlreadyContainsDeclarationWithTheSameName = 296,
+    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 297,
+    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 298,
+    PackageAliasWithTheSameNameAlreadyExits = 299,
+    PackageCanHaveOnlyEntryPoint = 300,
+    PackageCanHaveOnlyOneConstructor = 301,
+    TypeAlreadyContainsDeclarationWithTheSameName = 302,
+    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 303,
+    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 304,
+    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 305,
+    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 306,
+    TypeCanHaveOnlyOneDestructor = 307,
+    TypeCanHaveOnlyOneDereferenceOperator = 308,
+    VariableIsUsedBeforeItsDeclaration = 309,
+    VariableMayNotHasBeenAssignedBeforeUsage = 310,
+    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 311,
+    WriteFunctionHasNoCorrespondingReadFunction = 312,
+    TypeCanNotHaveMultipleBaseObjectTypes = 313,
+    TypeThatIsNotMarkedAsBasicCanNotBeUsedAsBaseType = 314,
+    PlainObjectTypeCanNotBeUsedAsBaseType = 315,
+    ThisTypeIsAlreadyListedInBaseTypeList = 316,
+    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 317,
+    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 318,
+    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 319,
+    ModifierListAlreadyContains0Modifier = 320,
+    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 321,
+    _0ModifierIsNotAllowedHere = 322,
+    DeclarationCanNotBePlacedInGroupHaving0Modifier = 323,
+    PackageConstructorDeclarationCanNotHaveModifiers = 324,
+    PackageEntryPointDeclarationCanNotHaveModifiers = 325,
+    TranslationsCanNotHaveModifiers = 326,
+    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 327,
+    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 328,
+    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 329,
+    _0ModifierCanNotBeUsedWith1Modifier = 330,
+    VariantDeclarationCanNotHaveHiddenModifier = 331,
+    BasicModifierCanOnlyBeAppliedToObjectTypes = 332,
+    AbstractModifierCanOnlyBeAppliedToObjectTypes = 333,
+    NotBasicObjectTypesCanNotHaveBasicMembers = 334,
+    BasicModifierCanNotBeAppliedToAspectTypeFields = 335,
+    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 336,
+    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 337,
+    DeclarationConflictsWithBaseTypeMember0 = 338,
+    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 339,
+    DeclarationConflictsWithBaseTypeMember0ThisMemberCanNotBeOverridden = 340,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 341,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 342,
+    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 343,
+    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 344,
+    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 345,
+    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 346,
+    TypeDoesNotImplementMember0 = 347,
+    CanNotAccessAbstractMemberOfBaseType = 348,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 401,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 402,
     ProgramWithoutMainPackageCannotBeCompiled = 403,

package/build/types/entities/DereferenceOperatorEntity.d.ts

@@ -17,6 +17,7 @@ export interface DereferenceOperatorEntity {
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.DereferenceOperator[];
+    ensureAllDiagnosticsReported?(): void;
 }
 export type DereferenceOperatorEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -30,8 +31,8 @@ export declare class DereferenceOperatorDeclarationEntity implements Dereference
     private readonly _getterDeclaration;
     private readonly _setterDeclaration;
     private readonly _getterOrSetterDeclaration;
-    private readonly _overriddenMembers;
     private _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get modifierFlags();
     constructor(analyzer: Analyzer, getterDeclaration: DereferencedVariableGetterDeclaration | undefined, setterDeclaration: DereferencedVariableSetterDeclaration | undefined);
     getType(): types.Type;
@@ -46,4 +47,5 @@ export declare class DereferenceOperatorDeclarationEntity implements Dereference
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.DereferenceOperator[];
+    ensureAllDiagnosticsReported(): void;
 }

package/build/types/entities/FunctionEntity.d.ts

@@ -75,7 +75,6 @@ export declare class MethodDeclarationEntity implements MethodEntity {
     readonly subkind = "method";
     private readonly _typeParameters;
     private readonly _valueParameters;
-    private readonly _overriddenMember;
     private _modifierFlags;
     private get modifierFlags();
     constructor(_analyzer: Analyzer, _node: MethodDeclaration);

package/build/types/entities/IndexerEntity.d.ts

@@ -18,6 +18,7 @@ export interface IndexerEntity {
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];
+    ensureAllDiagnosticsReported?(): void;
 }
 export type IndexerEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -37,8 +38,8 @@ export declare class IndexerDeclarationEntity implements SourceIndexerEntity {
     private readonly _setterDeclaration;
     private readonly _getterOrSetterDeclaration;
     private readonly _parameters;
-    private readonly _overriddenMembers;
     private _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get parameters();
     private get modifierFlags();
     constructor(analyzer: Analyzer, getterDeclaration: IndexedElementGetterDeclaration | undefined, setterDeclaration: IndexedElementSetterDeclaration | undefined);
@@ -56,5 +57,6 @@ export declare class IndexerDeclarationEntity implements SourceIndexerEntity {
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];
+    ensureAllDiagnosticsReported(): void;
     private createParameters;
 }

package/build/types/entities/OperatorEntity.d.ts

@@ -28,7 +28,6 @@ export declare class OperatorDeclarationEntity implements OperatorEntity {
     readonly kind = EntityKind.Operator;
     private readonly _operatorKind;
     private readonly _valueParameters;
-    private readonly _overriddenMembers;
     private _modifierFlags;
     private get modifierFlags();
     constructor(_analyzer: Analyzer, _node: tree.OperatorDeclaration);