@angular/compiler-cli 17.0.5 → 17.0.7

package/linker/src/file_linker/partial_linkers/util.d.ts

@@ -7,7 +7,7 @@
  */
 import { MaybeForwardRefExpression, outputAst as o, R3DeclareDependencyMetadata, R3DependencyMetadata, R3Reference } from '@angular/compiler';
 import { AstObject, AstValue } from '../../ast/ast_value';
-export declare const PLACEHOLDER_VERSION = "17.0.5";
+export declare const PLACEHOLDER_VERSION = "17.0.7";
 export declare function wrapReference<TExpression>(wrapped: o.WrappedNodeExpr<TExpression>): R3Reference;
 /**
  * Parses the value of an enum from the AST value's symbol name.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@angular/compiler-cli",
-  "version": "17.0.5",
+  "version": "17.0.7",
   "description": "Angular - the compiler CLI for Node.js",
   "typings": "index.d.ts",
   "bin": {
@@ -53,7 +53,7 @@
     "yargs": "^17.2.1"
   },
   "peerDependencies": {
-    "@angular/compiler": "17.0.5",
+    "@angular/compiler": "17.0.7",
     "typescript": ">=5.2 <5.3"
   },
   "repository": {

package/src/ngtsc/diagnostics/src/error_code.d.ts

@@ -238,6 +238,20 @@ export declare enum ErrorCode {
      * ```
      */
     INACCESSIBLE_DEFERRED_TRIGGER_ELEMENT = 8010,
+    /**
+     * A control flow node is projected at the root of a component and is preventing its direct
+     * descendants from being projected, because it has more than one root node.
+     *
+     * ```
+     * <comp>
+     *  @if (expr) {
+     *    <div projectsIntoSlot></div>
+     *    Text preventing the div from being projected
+     *  }
+     * </comp>
+     * ```
+     */
+    CONTROL_FLOW_PREVENTING_CONTENT_PROJECTION = 8011,
     /**
      * A two way binding in a template has an incorrect syntax,
      * parentheses outside brackets. For example:

package/src/ngtsc/diagnostics/src/extended_template_diagnostic_name.d.ts

@@ -23,5 +23,6 @@ export declare enum ExtendedTemplateDiagnosticName {
     MISSING_NGFOROF_LET = "missingNgForOfLet",
     SUFFIX_NOT_SUPPORTED = "suffixNotSupported",
     SKIP_HYDRATION_NOT_STATIC = "skipHydrationNotStatic",
-    INTERPOLATED_SIGNAL_NOT_INVOKED = "interpolatedSignalNotInvoked"
+    INTERPOLATED_SIGNAL_NOT_INVOKED = "interpolatedSignalNotInvoked",
+    CONTROL_FLOW_PREVENTING_CONTENT_PROJECTION = "controlFlowPreventingContentProjection"
 }

package/src/ngtsc/imports/src/emitter.d.ts

@@ -51,7 +51,11 @@ export declare enum ImportFlags {
      * paths may not be possible for those, hence this flag only applies when importing from a
      * declaration file.
      */
-    AllowRelativeDtsImports = 8
+    AllowRelativeDtsImports = 8,
+    /**
+     * Indicates that references coming from ambient imports are allowed.
+     */
+    AllowAmbientReferences = 16
 }
 /**
  * An emitter strategy has the ability to indicate which `ts.SourceFile` is being imported by the

package/src/ngtsc/imports/src/references.d.ts

@@ -7,6 +7,7 @@
  */
 import { Expression } from '@angular/compiler';
 import ts from 'typescript';
+import { AmbientImport } from '../../reflection';
 export interface OwningModule {
     specifier: string;
     resolutionContext: string;
@@ -46,7 +47,8 @@ export declare class Reference<T extends ts.Node = ts.Node> {
      */
     synthetic: boolean;
     private _alias;
-    constructor(node: T, bestGuessOwningModule?: OwningModule | null);
+    readonly isAmbient: boolean;
+    constructor(node: T, bestGuessOwningModule?: OwningModule | AmbientImport | null);
     /**
      * The best guess at which module specifier owns this particular reference, or `null` if there
      * isn't one.

package/src/ngtsc/reflection/src/host.d.ts

@@ -410,6 +410,11 @@ export interface Import {
  * A type that is used to identify a declaration.
  */
 export type DeclarationNode = ts.Declaration;
+export type AmbientImport = {
+    __brand: 'AmbientImport';
+};
+/** Indicates that a declaration is referenced through an ambient type. */
+export declare const AmbientImport: AmbientImport;
 /**
  * The declaration of a symbol, along with information about how it was imported into the
  * application.
@@ -420,7 +425,7 @@ export interface Declaration<T extends ts.Declaration = ts.Declaration> {
      * was imported via an absolute module (even through a chain of re-exports). If the symbol is part
      * of the application and was not imported from an absolute path, this will be `null`.
      */
-    viaModule: string | null;
+    viaModule: string | AmbientImport | null;
     /**
      * TypeScript reference to the declaration itself, if one exists.
      */

package/src/ngtsc/reflection/src/typescript.d.ts

@@ -56,6 +56,7 @@ export declare class TypeScriptReflectionHost implements ReflectionHost {
      * Get the set of declarations declared in `file` which are exported.
      */
     private getLocalExportedDeclarationsOfSourceFile;
+    private _viaModule;
 }
 export declare function reflectNameOfDeclaration(decl: ts.Declaration): string | null;
 export declare function reflectIdentifierOfDeclaration(decl: ts.Declaration): ts.Identifier | null;

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

@@ -69,6 +69,10 @@ export interface TypeCheckBlockMetadata {
      */
     schemas: SchemaMetadata[];
     isStandalone: boolean;
+    /**
+     * A boolean indicating whether the component preserves whitespaces in its template.
+     */
+    preserveWhitespaces: boolean;
 }
 export interface TypeCtorMetadata {
     /**
@@ -238,6 +242,10 @@ export interface TypeCheckingConfig {
      * This is currently an unsupported feature.
      */
     checkQueries: false;
+    /**
+     * Whether to check if control flow syntax will prevent a node from being projected.
+     */
+    controlFlowPreventingContentProjection: 'error' | 'warning' | 'suppress';
     /**
      * Whether to use any generic types of the context component.
      *

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

@@ -33,8 +33,10 @@ export interface TypeCheckContext {
      * @param file the `ParseSourceFile` associated with the template.
      * @param parseErrors the `ParseError`'s associated with the template.
      * @param isStandalone a boolean indicating whether the component is standalone.
+     * @param preserveWhitespaces a boolean indicating whether the component's template preserves
+     * whitespaces.
      */
-    addTemplate(ref: Reference<ClassDeclaration<ts.ClassDeclaration>>, binder: R3TargetBinder<TypeCheckableDirectiveMeta>, template: TmplAstNode[], pipes: Map<string, Reference<ClassDeclaration<ts.ClassDeclaration>>>, schemas: SchemaMetadata[], sourceMapping: TemplateSourceMapping, file: ParseSourceFile, parseErrors: ParseError[] | null, isStandalone: boolean): void;
+    addTemplate(ref: Reference<ClassDeclaration<ts.ClassDeclaration>>, binder: R3TargetBinder<TypeCheckableDirectiveMeta>, template: TmplAstNode[], pipes: Map<string, Reference<ClassDeclaration<ts.ClassDeclaration>>>, schemas: SchemaMetadata[], sourceMapping: TemplateSourceMapping, file: ParseSourceFile, parseErrors: ParseError[] | null, isStandalone: boolean, preserveWhitespaces: boolean): void;
 }
 /**
  * Interface to trigger generation of type-checking code for a program given a new

package/src/ngtsc/typecheck/extended/index.d.ts

@@ -9,3 +9,4 @@ import { ErrorCode, ExtendedTemplateDiagnosticName } from '../../diagnostics';
 import { TemplateCheckFactory } from './api';
 export { ExtendedTemplateCheckerImpl } from './src/extended_template_checker';
 export declare const ALL_DIAGNOSTIC_FACTORIES: readonly TemplateCheckFactory<ErrorCode, ExtendedTemplateDiagnosticName>[];
+export declare const SUPPORTED_DIAGNOSTIC_NAMES: Set<string>;

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

@@ -166,7 +166,7 @@ export declare class TypeCheckContextImpl implements TypeCheckContext {
      *
      * Implements `TypeCheckContext.addTemplate`.
      */
-    addTemplate(ref: Reference<ClassDeclaration<ts.ClassDeclaration>>, binder: R3TargetBinder<TypeCheckableDirectiveMeta>, template: TmplAstNode[], pipes: Map<string, Reference<ClassDeclaration<ts.ClassDeclaration>>>, schemas: SchemaMetadata[], sourceMapping: TemplateSourceMapping, file: ParseSourceFile, parseErrors: ParseError[] | null, isStandalone: boolean): void;
+    addTemplate(ref: Reference<ClassDeclaration<ts.ClassDeclaration>>, binder: R3TargetBinder<TypeCheckableDirectiveMeta>, template: TmplAstNode[], pipes: Map<string, Reference<ClassDeclaration<ts.ClassDeclaration>>>, schemas: SchemaMetadata[], sourceMapping: TemplateSourceMapping, file: ParseSourceFile, parseErrors: ParseError[] | null, isStandalone: boolean, preserveWhitespaces: boolean): void;
     /**
      * Record a type constructor for the given `node` with the given `ctorMetadata`.
      */

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

@@ -7,7 +7,7 @@
  */
 import { TransplantedType, Type } from '@angular/compiler';
 import ts from 'typescript';
-import { Reference, ReferenceEmitter } from '../../imports';
+import { ImportFlags, Reference, ReferenceEmitter } from '../../imports';
 import { ClassDeclaration, ReflectionHost } from '../../reflection';
 import { ImportManager } from '../../translator';
 import { TypeCheckableDirectiveMeta, TypeCheckingConfig } from '../api';
@@ -49,13 +49,13 @@ export declare class Environment implements ReferenceEmitEnvironment {
      * This may involve importing the node into the file if it's not declared there already.
      */
     reference(ref: Reference<ClassDeclaration<ts.ClassDeclaration>>): ts.Expression;
-    canReferenceType(ref: Reference): boolean;
+    canReferenceType(ref: Reference, flags?: ImportFlags): boolean;
     /**
      * Generate a `ts.TypeNode` that references the given node as a type.
      *
      * This may involve importing the node into the file if it's not declared there already.
      */
-    referenceType(ref: Reference): ts.TypeNode;
+    referenceType(ref: Reference, flags?: ImportFlags): ts.TypeNode;
     private emitTypeParameters;
     /**
      * Generate a `ts.TypeNode` that references a given type from the provided module.

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

@@ -5,7 +5,8 @@
  * Use of this source code is governed by an MIT-style license that can be
  * found in the LICENSE file at https://angular.io/license
  */
-import { BindingPipe, PropertyRead, PropertyWrite, TmplAstBoundAttribute, TmplAstBoundEvent, TmplAstElement, TmplAstForLoopBlock, TmplAstHoverDeferredTrigger, TmplAstInteractionDeferredTrigger, TmplAstReference, TmplAstTemplate, TmplAstVariable, TmplAstViewportDeferredTrigger } from '@angular/compiler';
+import { BindingPipe, PropertyRead, PropertyWrite, TmplAstBoundAttribute, TmplAstBoundEvent, TmplAstElement, TmplAstForLoopBlock, TmplAstHoverDeferredTrigger, TmplAstIfBlockBranch, TmplAstInteractionDeferredTrigger, TmplAstReference, TmplAstTemplate, TmplAstVariable, TmplAstViewportDeferredTrigger } from '@angular/compiler';
+import ts from 'typescript';
 import { ClassDeclaration } from '../../reflection';
 import { TemplateDiagnostic, TemplateId } from '../api';
 import { TemplateSourceResolver } from './tcb_util';
@@ -69,6 +70,10 @@ export interface OutOfBandDiagnosticRecorder {
      * Reports deferred triggers that cannot access the element they're referring to.
      */
     inaccessibleDeferredTriggerElement(templateId: TemplateId, trigger: TmplAstHoverDeferredTrigger | TmplAstInteractionDeferredTrigger | TmplAstViewportDeferredTrigger): void;
+    /**
+     * Reports cases where control flow nodes prevent content projection.
+     */
+    controlFlowPreventingContentProjection(templateId: TemplateId, category: ts.DiagnosticCategory, projectionNode: TmplAstElement | TmplAstTemplate, componentName: string, slotSelector: string, controlFlowNode: TmplAstIfBlockBranch | TmplAstForLoopBlock, preservesWhitespaces: boolean): void;
 }
 export declare class OutOfBandDiagnosticRecorderImpl implements OutOfBandDiagnosticRecorder {
     private resolver;
@@ -91,4 +96,5 @@ export declare class OutOfBandDiagnosticRecorderImpl implements OutOfBandDiagnos
     missingRequiredInputs(templateId: TemplateId, element: TmplAstElement | TmplAstTemplate, directiveName: string, isComponent: boolean, inputAliases: string[]): void;
     illegalForLoopTrackAccess(templateId: TemplateId, block: TmplAstForLoopBlock, access: PropertyRead): void;
     inaccessibleDeferredTriggerElement(templateId: TemplateId, trigger: TmplAstHoverDeferredTrigger | TmplAstInteractionDeferredTrigger | TmplAstViewportDeferredTrigger): void;
+    controlFlowPreventingContentProjection(templateId: TemplateId, category: ts.DiagnosticCategory, projectionNode: TmplAstElement | TmplAstTemplate, componentName: string, slotSelector: string, controlFlowNode: TmplAstIfBlockBranch | TmplAstForLoopBlock, preservesWhitespaces: boolean): void;
 }

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

@@ -129,8 +129,9 @@ export declare class Context {
     private pipes;
     readonly schemas: SchemaMetadata[];
     readonly hostIsStandalone: boolean;
+    readonly hostPreserveWhitespaces: boolean;
     private nextId;
-    constructor(env: Environment, domSchemaChecker: DomSchemaChecker, oobRecorder: OutOfBandDiagnosticRecorder, id: TemplateId, boundTarget: BoundTarget<TypeCheckableDirectiveMeta>, pipes: Map<string, Reference<ClassDeclaration<ts.ClassDeclaration>>>, schemas: SchemaMetadata[], hostIsStandalone: boolean);
+    constructor(env: Environment, domSchemaChecker: DomSchemaChecker, oobRecorder: OutOfBandDiagnosticRecorder, id: TemplateId, boundTarget: BoundTarget<TypeCheckableDirectiveMeta>, pipes: Map<string, Reference<ClassDeclaration<ts.ClassDeclaration>>>, schemas: SchemaMetadata[], hostIsStandalone: boolean, hostPreserveWhitespaces: boolean);
     /**
      * Allocate a new variable name for use within the `Context`.
      *
@@ -191,7 +192,8 @@ declare class Scope {
     private templateCtxOpMap;
     /**
      * Map of variables declared on the template that created this `Scope` (represented by
-     * `TmplAstVariable` nodes) to the index of their `TcbVariableOp`s in the `opQueue`.
+     * `TmplAstVariable` nodes) to the index of their `TcbVariableOp`s in the `opQueue`, or to
+     * pre-resolved variable identifiers.
      */
     private varMap;
     /**
@@ -271,6 +273,7 @@ declare class Scope {
     private appendOutputsOfNode;
     private appendDeepSchemaChecks;
     private appendIcuExpressions;
+    private appendContentProjectionCheckOp;
     private appendDeferredBlock;
     private appendDeferredTriggers;
     private appendReferenceBasedDeferredTrigger;