@angular/compiler-cli 22.0.0-next.4 → 22.0.0-next.5

package/src/ngtsc/typecheck/src/oob.d.ts

@@ -7,134 +7,9 @@
  */
 import { AST, BindingPipe, PropertyRead, TmplAstBoundAttribute, TmplAstBoundEvent, TmplAstComponent, TmplAstDirective, TmplAstElement, TmplAstForLoopBlock, TmplAstForLoopBlockEmpty, TmplAstHoverDeferredTrigger, TmplAstIfBlockBranch, TmplAstInteractionDeferredTrigger, TmplAstLetDeclaration, TmplAstReference, TmplAstSwitchBlockCase, TmplAstTemplate, TmplAstTextAttribute, TmplAstVariable, TmplAstViewportDeferredTrigger } from '@angular/compiler';
 import ts from 'typescript';
-import { ClassDeclaration } from '../../reflection';
-import { TcbDirectiveMetadata, TemplateDiagnostic, TypeCheckId } from '../api';
+import { OutOfBadDiagnosticCategory, OutOfBandDiagnosticRecorder, TcbDirectiveMetadata, TemplateDiagnostic, TypeCheckId } from '../api';
 import { TypeCheckSourceResolver } from './tcb_util';
-/**
- * Collects `ts.Diagnostic`s on problems which occur in the template which aren't directly sourced
- * from Type Check Blocks.
- *
- * During the creation of a Type Check Block, the template is traversed and the
- * `OutOfBandDiagnosticRecorder` is called to record cases when a correct interpretation for the
- * template cannot be found. These operations create `ts.Diagnostic`s which are stored by the
- * recorder for later display.
- */
-export interface OutOfBandDiagnosticRecorder {
-    readonly diagnostics: ReadonlyArray<TemplateDiagnostic>;
-    /**
-     * Reports a `#ref="target"` expression in the template for which a target directive could not be
-     * found.
-     *
-     * @param id the type-checking ID of the template which contains the broken reference.
-     * @param ref the `TmplAstReference` which could not be matched to a directive.
-     */
-    missingReferenceTarget(id: TypeCheckId, ref: TmplAstReference): void;
-    /**
-     * Reports usage of a `| pipe` expression in the template for which the named pipe could not be
-     * found.
-     *
-     * @param id the type-checking ID of the template which contains the unknown pipe.
-     * @param ast the `BindingPipe` invocation of the pipe which could not be found.
-     * @param isStandalone whether the host component is standalone.
-     */
-    missingPipe(id: TypeCheckId, ast: BindingPipe, isStandalone: boolean): void;
-    /**
-     * Reports usage of a pipe imported via `@Component.deferredImports` outside
-     * of a `@defer` block in a template.
-     *
-     * @param id the type-checking ID of the template which contains the unknown pipe.
-     * @param ast the `BindingPipe` invocation of the pipe which could not be found.
-     */
-    deferredPipeUsedEagerly(id: TypeCheckId, ast: BindingPipe): void;
-    /**
-     * Reports usage of a component/directive imported via `@Component.deferredImports` outside
-     * of a `@defer` block in a template.
-     *
-     * @param id the type-checking ID of the template which contains the unknown pipe.
-     * @param element the element which hosts a component that was defer-loaded.
-     */
-    deferredComponentUsedEagerly(id: TypeCheckId, element: TmplAstElement): void;
-    /**
-     * Reports a duplicate declaration of a template variable.
-     *
-     * @param id the type-checking ID of the template which contains the duplicate
-     * declaration.
-     * @param variable the `TmplAstVariable` which duplicates a previously declared variable.
-     * @param firstDecl the first variable declaration which uses the same name as `variable`.
-     */
-    duplicateTemplateVar(id: TypeCheckId, variable: TmplAstVariable, firstDecl: TmplAstVariable): void;
-    requiresInlineTcb(id: TypeCheckId, node: ClassDeclaration): void;
-    requiresInlineTypeConstructors(id: TypeCheckId, node: ClassDeclaration, directives: ClassDeclaration[]): void;
-    /**
-     * Report a warning when structural directives support context guards, but the current
-     * type-checking configuration prohibits their usage.
-     */
-    suboptimalTypeInference(id: TypeCheckId, variables: TmplAstVariable[]): void;
-    /**
-     * Reports a split two way binding error message.
-     */
-    splitTwoWayBinding(id: TypeCheckId, input: TmplAstBoundAttribute, output: TmplAstBoundEvent, inputConsumer: Pick<TcbDirectiveMetadata, 'name' | 'isComponent' | 'ref'>, outputConsumer: Pick<TcbDirectiveMetadata, 'name' | 'isComponent' | 'ref'> | TmplAstElement): void;
-    /** Reports required inputs that haven't been bound. */
-    missingRequiredInputs(id: TypeCheckId, element: TmplAstElement | TmplAstTemplate | TmplAstComponent | TmplAstDirective, directiveName: string, isComponent: boolean, inputAliases: string[]): void;
-    /**
-     * Reports accesses of properties that aren't available in a `for` block's tracking expression.
-     */
-    illegalForLoopTrackAccess(id: TypeCheckId, block: TmplAstForLoopBlock, access: PropertyRead): void;
-    /**
-     * Reports deferred triggers that cannot access the element they're referring to.
-     */
-    inaccessibleDeferredTriggerElement(id: TypeCheckId, trigger: TmplAstHoverDeferredTrigger | TmplAstInteractionDeferredTrigger | TmplAstViewportDeferredTrigger): void;
-    /**
-     * Reports cases where control flow nodes prevent content projection.
-     */
-    controlFlowPreventingContentProjection(id: TypeCheckId, category: ts.DiagnosticCategory, projectionNode: TmplAstElement | TmplAstTemplate, componentName: string, slotSelector: string, controlFlowNode: TmplAstIfBlockBranch | TmplAstSwitchBlockCase | TmplAstForLoopBlock | TmplAstForLoopBlockEmpty, preservesWhitespaces: boolean): void;
-    /** Reports cases where users are writing to `@let` declarations. */
-    illegalWriteToLetDeclaration(id: TypeCheckId, node: AST, target: TmplAstLetDeclaration): void;
-    /** Reports cases where users are accessing an `@let` before it is defined.. */
-    letUsedBeforeDefinition(id: TypeCheckId, node: PropertyRead, target: TmplAstLetDeclaration): void;
-    /**
-     * Reports a `@let` declaration that conflicts with another symbol in the same scope.
-     *
-     * @param id the type-checking ID of the template which contains the declaration.
-     * @param current the `TmplAstLetDeclaration` which is invalid.
-     */
-    conflictingDeclaration(id: TypeCheckId, current: TmplAstLetDeclaration): void;
-    /**
-     * Reports that a named template dependency (e.g. `<Missing/>`) is not available.
-     * @param id Type checking ID of the template in which the dependency is declared.
-     * @param node Node that declares the dependency.
-     */
-    missingNamedTemplateDependency(id: TypeCheckId, node: TmplAstComponent | TmplAstDirective): void;
-    /**
-     * Reports that a templace dependency of the wrong kind has been referenced at a specific position
-     * (e.g. `<SomeDirective/>`).
-     * @param id Type checking ID of the template in which the dependency is declared.
-     * @param node Node that declares the dependency.
-     */
-    incorrectTemplateDependencyType(id: TypeCheckId, node: TmplAstComponent | TmplAstDirective): void;
-    /**
-     * Reports a binding inside directive syntax that does not match any of the inputs/outputs of
-     * the directive.
-     * @param id Type checking ID of the template in which the directive was defined.
-     * @param directive Directive that contains the binding.
-     * @param node Node declaring the binding.
-     */
-    unclaimedDirectiveBinding(id: TypeCheckId, directive: TmplAstDirective, node: TmplAstBoundAttribute | TmplAstTextAttribute | TmplAstBoundEvent): void;
-    /**
-     * Reports that an implicit deferred trigger is set on a block that does not have a placeholder.
-     */
-    deferImplicitTriggerMissingPlaceholder(id: TypeCheckId, trigger: TmplAstHoverDeferredTrigger | TmplAstInteractionDeferredTrigger | TmplAstViewportDeferredTrigger): void;
-    /**
-     * Reports that an implicit deferred trigger is set on a block whose placeholder is not set up
-     * correctly (e.g. more than one root node).
-     */
-    deferImplicitTriggerInvalidPlaceholder(id: TypeCheckId, trigger: TmplAstHoverDeferredTrigger | TmplAstInteractionDeferredTrigger | TmplAstViewportDeferredTrigger): void;
-    /**
-     * Reports an unsupported binding on a form `FormField` node.
-     */
-    formFieldUnsupportedBinding(id: TypeCheckId, node: TmplAstBoundAttribute | TmplAstTextAttribute): void;
-}
-export declare class OutOfBandDiagnosticRecorderImpl implements OutOfBandDiagnosticRecorder {
+export declare class OutOfBandDiagnosticRecorderImpl implements OutOfBandDiagnosticRecorder<TemplateDiagnostic> {
     private resolver;
     private getSourceFile;
     private readonly _diagnostics;
@@ -146,20 +21,18 @@ export declare class OutOfBandDiagnosticRecorderImpl implements OutOfBandDiagnos
     /** Common pipes that can be suggested to users. */
     private readonly pipeSuggestions;
     constructor(resolver: TypeCheckSourceResolver, getSourceFile?: (fileName: string) => ts.SourceFile | undefined);
-    get diagnostics(): ReadonlyArray<TemplateDiagnostic>;
+    get diagnostics(): TemplateDiagnostic[];
     missingReferenceTarget(id: TypeCheckId, ref: TmplAstReference): void;
     missingPipe(id: TypeCheckId, ast: BindingPipe, isStandalone: boolean): void;
     deferredPipeUsedEagerly(id: TypeCheckId, ast: BindingPipe): void;
     deferredComponentUsedEagerly(id: TypeCheckId, element: TmplAstElement): void;
     duplicateTemplateVar(id: TypeCheckId, variable: TmplAstVariable, firstDecl: TmplAstVariable): void;
-    requiresInlineTcb(id: TypeCheckId, node: ClassDeclaration): void;
-    requiresInlineTypeConstructors(id: TypeCheckId, node: ClassDeclaration, directives: ClassDeclaration[]): void;
     suboptimalTypeInference(id: TypeCheckId, variables: TmplAstVariable[]): void;
     splitTwoWayBinding(id: TypeCheckId, input: TmplAstBoundAttribute, output: TmplAstBoundEvent, inputConsumer: Pick<TcbDirectiveMetadata, 'name' | 'isComponent' | 'ref'>, outputConsumer: Pick<TcbDirectiveMetadata, 'name' | 'isComponent' | 'ref'> | TmplAstElement): void;
     missingRequiredInputs(id: TypeCheckId, element: TmplAstElement | TmplAstTemplate | TmplAstComponent | TmplAstDirective, directiveName: string, isComponent: boolean, inputAliases: string[]): void;
     illegalForLoopTrackAccess(id: TypeCheckId, block: TmplAstForLoopBlock, access: PropertyRead): void;
     inaccessibleDeferredTriggerElement(id: TypeCheckId, trigger: TmplAstHoverDeferredTrigger | TmplAstInteractionDeferredTrigger | TmplAstViewportDeferredTrigger): void;
-    controlFlowPreventingContentProjection(id: TypeCheckId, category: ts.DiagnosticCategory, projectionNode: TmplAstElement | TmplAstTemplate, componentName: string, slotSelector: string, controlFlowNode: TmplAstIfBlockBranch | TmplAstSwitchBlockCase | TmplAstForLoopBlock | TmplAstForLoopBlockEmpty, preservesWhitespaces: boolean): void;
+    controlFlowPreventingContentProjection(id: TypeCheckId, category: OutOfBadDiagnosticCategory, projectionNode: TmplAstElement | TmplAstTemplate, componentName: string, slotSelector: string, controlFlowNode: TmplAstIfBlockBranch | TmplAstSwitchBlockCase | TmplAstForLoopBlock | TmplAstForLoopBlockEmpty, preservesWhitespaces: boolean): void;
     illegalWriteToLetDeclaration(id: TypeCheckId, node: AST, target: TmplAstLetDeclaration): void;
     letUsedBeforeDefinition(id: TypeCheckId, node: PropertyRead, target: TmplAstLetDeclaration): void;
     conflictingDeclaration(id: TypeCheckId, decl: TmplAstLetDeclaration): void;
@@ -169,4 +42,5 @@ export declare class OutOfBandDiagnosticRecorderImpl implements OutOfBandDiagnos
     deferImplicitTriggerMissingPlaceholder(id: TypeCheckId, trigger: TmplAstHoverDeferredTrigger | TmplAstInteractionDeferredTrigger | TmplAstViewportDeferredTrigger): void;
     deferImplicitTriggerInvalidPlaceholder(id: TypeCheckId, trigger: TmplAstHoverDeferredTrigger | TmplAstInteractionDeferredTrigger | TmplAstViewportDeferredTrigger): void;
     formFieldUnsupportedBinding(id: TypeCheckId, node: TmplAstBoundAttribute | TmplAstTextAttribute): void;
+    multipleMatchingComponents(id: TypeCheckId, element: TmplAstElement, componentNames: string[]): void;
 }

package/src/ngtsc/typecheck/src/ops/context.d.ts

@@ -7,8 +7,7 @@
  */
 import { BoundTarget, SchemaMetadata } from '@angular/compiler';
 import { DomSchemaChecker } from '../dom';
-import { OutOfBandDiagnosticRecorder } from '../oob';
-import { TypeCheckId, TcbDirectiveMetadata, TcbPipeMetadata } from '../../api';
+import { TypeCheckId, TcbDirectiveMetadata, TcbPipeMetadata, OutOfBandDiagnosticRecorder } from '../../api';
 import { Environment } from '../environment';
 /**
  * Controls how generics for the component context class will be handled during TCB generation.
@@ -45,7 +44,7 @@ export declare enum TcbGenericContextBehavior {
 export declare class Context {
     readonly env: Environment;
     readonly domSchemaChecker: DomSchemaChecker;
-    readonly oobRecorder: OutOfBandDiagnosticRecorder;
+    readonly oobRecorder: OutOfBandDiagnosticRecorder<unknown>;
     readonly id: TypeCheckId;
     readonly boundTarget: BoundTarget<TcbDirectiveMetadata>;
     private pipes;
@@ -53,7 +52,7 @@ export declare class Context {
     readonly hostIsStandalone: boolean;
     readonly hostPreserveWhitespaces: boolean;
     private nextId;
-    constructor(env: Environment, domSchemaChecker: DomSchemaChecker, oobRecorder: OutOfBandDiagnosticRecorder, id: TypeCheckId, boundTarget: BoundTarget<TcbDirectiveMetadata>, pipes: Map<string, TcbPipeMetadata> | null, schemas: SchemaMetadata[], hostIsStandalone: boolean, hostPreserveWhitespaces: boolean);
+    constructor(env: Environment, domSchemaChecker: DomSchemaChecker, oobRecorder: OutOfBandDiagnosticRecorder<unknown>, id: TypeCheckId, boundTarget: BoundTarget<TcbDirectiveMetadata>, pipes: Map<string, TcbPipeMetadata> | null, schemas: SchemaMetadata[], hostIsStandalone: boolean, hostPreserveWhitespaces: boolean);
     /**
      * Allocate a new variable name for use within the `Context`.
      *

package/src/ngtsc/typecheck/src/type_check_block.d.ts

@@ -5,10 +5,9 @@
  * Use of this source code is governed by an MIT-style license that can be
  * found in the LICENSE file at https://angular.dev/license
  */
-import { TcbComponentMetadata, TcbTypeCheckBlockMetadata } from '../api';
+import { OutOfBandDiagnosticRecorder, TcbComponentMetadata, TcbTypeCheckBlockMetadata } from '../api';
 import { DomSchemaChecker } from './dom';
 import { Environment } from './environment';
-import { OutOfBandDiagnosticRecorder } from './oob';
 /**
  * Given a `ts.ClassDeclaration` for a component, and metadata regarding that component, compose a
  * "type check block" function.
@@ -33,4 +32,4 @@ import { OutOfBandDiagnosticRecorder } from './oob';
  * @param genericContextBehavior controls how generic parameters (especially parameters with generic
  * bounds) will be referenced from the generated TCB code.
  */
-export declare function generateTypeCheckBlock(env: Environment, component: TcbComponentMetadata, name: string, meta: TcbTypeCheckBlockMetadata, domSchemaChecker: DomSchemaChecker, oobRecorder: OutOfBandDiagnosticRecorder): string;
+export declare function generateTypeCheckBlock(env: Environment, component: TcbComponentMetadata, name: string, meta: TcbTypeCheckBlockMetadata, domSchemaChecker: DomSchemaChecker, oobRecorder: OutOfBandDiagnosticRecorder<unknown>): string;

package/src/ngtsc/typecheck/src/type_check_file.d.ts

@@ -9,10 +9,9 @@ import ts from 'typescript';
 import { AbsoluteFsPath } from '../../file_system';
 import { Reference, ReferenceEmitter } from '../../imports';
 import { ClassDeclaration, ReflectionHost } from '../../reflection';
-import { TypeCheckBlockMetadata, TypeCheckingConfig } from '../api';
+import { OutOfBandDiagnosticRecorder, TypeCheckBlockMetadata, TypeCheckingConfig } from '../api';
 import { DomSchemaChecker } from './dom';
 import { Environment } from './environment';
-import { OutOfBandDiagnosticRecorder } from './oob';
 import { TcbGenericContextBehavior } from './ops/context';
 import { TcbExpr } from './ops/codegen';
 /**
@@ -29,7 +28,7 @@ export declare class TypeCheckFile extends Environment {
     private nextTcbId;
     private tcbStatements;
     constructor(fileName: AbsoluteFsPath, config: TypeCheckingConfig, refEmitter: ReferenceEmitter, reflector: ReflectionHost, compilerHost: Pick<ts.CompilerHost, 'getCanonicalFileName'>);
-    addTypeCheckBlock(ref: Reference<ClassDeclaration<ts.ClassDeclaration>>, meta: TypeCheckBlockMetadata, domSchemaChecker: DomSchemaChecker, oobRecorder: OutOfBandDiagnosticRecorder, genericContextBehavior: TcbGenericContextBehavior): void;
+    addTypeCheckBlock(ref: Reference<ClassDeclaration<ts.ClassDeclaration>>, meta: TypeCheckBlockMetadata, domSchemaChecker: DomSchemaChecker, oobRecorder: OutOfBandDiagnosticRecorder<unknown>, genericContextBehavior: TcbGenericContextBehavior): void;
     render(): string;
     getPreludeStatements(): TcbExpr[];
 }