@angular/forms 21.0.0-next.7 → 21.0.0-next.9

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@angular/forms",
-  "version": "21.0.0-next.7",
+  "version": "21.0.0-next.9",
   "description": "Angular - directives and services for creating forms",
   "author": "angular",
   "license": "MIT",
@@ -11,9 +11,9 @@
     "tslib": "^2.3.0"
   },
   "peerDependencies": {
-    "@angular/core": "21.0.0-next.7",
-    "@angular/common": "21.0.0-next.7",
-    "@angular/platform-browser": "21.0.0-next.7",
+    "@angular/core": "21.0.0-next.9",
+    "@angular/common": "21.0.0-next.9",
+    "@angular/platform-browser": "21.0.0-next.9",
     "@standard-schema/spec": "^1.0.0",
     "rxjs": "^6.5.3 || ^7.4.0"
   },

package/types/forms.d.ts

@@ -1,5 +1,5 @@
 /**
- * @license Angular v21.0.0-next.7
+ * @license Angular v21.0.0-next.9
  * (c) 2010-2025 Google LLC. https://angular.dev/
  * License: MIT
  */
@@ -1100,6 +1100,8 @@ declare class FormArray<TControl extends AbstractControl<any> = any> extends Abs
      * * `emitEvent`: When true or not supplied (the default), both the `statusChanges` and
      * `valueChanges` observables emit events with the latest status and value when the control is
      * inserted. When false, no events are emitted.
+     *
+     * NOTE: Pushing to the FormArray will not mark it dirty. If you want to mark if dirty, call `markAsDirty()`.
      */
     push(control: TControl | Array<TControl>, options?: {
         emitEvent?: boolean;
@@ -1116,6 +1118,8 @@ declare class FormArray<TControl extends AbstractControl<any> = any> extends Abs
      * * `emitEvent`: When true or not supplied (the default), both the `statusChanges` and
      * `valueChanges` observables emit events with the latest status and value when the control is
      * inserted. When false, no events are emitted.
+     *
+     * NOTE: Inserting to the FormArray will not mark it dirty. If you want to mark if dirty, call `markAsDirty()`.
      */
     insert(index: number, control: TControl, options?: {
         emitEvent?: boolean;
@@ -1131,6 +1135,8 @@ declare class FormArray<TControl extends AbstractControl<any> = any> extends Abs
      * * `emitEvent`: When true or not supplied (the default), both the `statusChanges` and
      * `valueChanges` observables emit events with the latest status and value when the control is
      * removed. When false, no events are emitted.
+     *
+     * NOTE: Removing the FormArray will not mark it dirty. If you want to mark if dirty, call `markAsDirty()`.
      */
     removeAt(index: number, options?: {
         emitEvent?: boolean;
@@ -1279,6 +1285,7 @@ declare class FormArray<TControl extends AbstractControl<any> = any> extends Abs
     reset(value?: ɵTypedOrUntyped<TControl, ɵFormArrayValue<TControl>, any>, options?: {
         onlySelf?: boolean;
         emitEvent?: boolean;
+        overwriteDefaultValue?: boolean;
     }): void;
     /**
      * The aggregate value of the array, including any disabled controls.
@@ -1345,6 +1352,8 @@ declare const UntypedFormArray: UntypedFormArrayCtor;
  * @description
  * Asserts that the given control is an instance of `FormArray`
  *
+ * @see [Utility functions for narrowing form control types](guide/forms/reactive-forms#utility-functions-for-narrowing-form-control-types)
+ *
  * @publicApi
  */
 declare const isFormArray: (control: unknown) => control is FormArray;
@@ -1577,7 +1586,7 @@ interface FormControl<TValue = any> extends AbstractControl<TValue> {
      * value. See {@link FormControlOptions#nonNullable} for more information on configuring
      * a default value.
      */
-    readonly defaultValue: TValue;
+    defaultValue: TValue;
     /**
      * Sets a new value for the form control.
      *
@@ -1653,11 +1662,13 @@ interface FormControl<TValue = any> extends AbstractControl<TValue> {
      * `valueChanges`
      * observables emit events with the latest status and value when the control is reset.
      * When false, no events are emitted.
+     * * `overwriteDefaultValue`: When true, the value used to reset the control becomes the new default value of the control.
      *
      */
     reset(formState?: TValue | FormControlState<TValue>, options?: {
         onlySelf?: boolean;
         emitEvent?: boolean;
+        overwriteDefaultValue?: boolean;
     }): void;
     /**
      * For a simple FormControl, the raw value is equivalent to the value.
@@ -1695,6 +1706,8 @@ declare const UntypedFormControl: UntypedFormControlCtor;
  * @description
  * Asserts that the given control is an instance of `FormControl`
  *
+ * @see [Utility functions for narrowing form control types](guide/forms/reactive-forms#utility-functions-for-narrowing-form-control-types)
+ *
  * @publicApi
  */
 declare const isFormControl: (control: unknown) => control is FormControl;
@@ -2093,6 +2106,7 @@ declare class FormGroup<TControl extends {
     reset(value?: ɵTypedOrUntyped<TControl, ɵFormGroupArgumentValue<TControl>, any>, options?: {
         onlySelf?: boolean;
         emitEvent?: boolean;
+        overwriteDefaultValue?: boolean;
     }): void;
     /**
      * The aggregate value of the `FormGroup`, including any disabled controls.
@@ -2120,6 +2134,8 @@ declare const UntypedFormGroup: UntypedFormGroupCtor;
  * @description
  * Asserts that the given control is an instance of `FormGroup`
  *
+ * @see [Utility functions for narrowing form control types](guide/forms/reactive-forms#utility-functions-for-narrowing-form-control-types)
+ *
  * @publicApi
  */
 declare const isFormGroup: (control: unknown) => control is FormGroup;
@@ -2233,6 +2249,8 @@ interface FormRecord<TControl> {
  * @description
  * Asserts that the given control is an instance of `FormRecord`
  *
+ * @see [Utility functions for narrowing form control types](guide/forms/reactive-forms#utility-functions-for-narrowing-form-control-types)
+ *
  * @publicApi
  */
 declare const isFormRecord: (control: unknown) => control is FormRecord;
@@ -2269,6 +2287,8 @@ declare abstract class ControlEvent<T = any> {
 /**
  * Event fired when the value of a control changes.
  *
+ * @see {@link AbstractControl.events}
+ *
  * @publicApi
  */
 declare class ValueChangeEvent<T> extends ControlEvent<T> {
@@ -2279,6 +2299,8 @@ declare class ValueChangeEvent<T> extends ControlEvent<T> {
 /**
  * Event fired when the control's pristine state changes (pristine <=> dirty).
  *
+ * @see {@link AbstractControl.events}
+ *
  * @publicApi */
 declare class PristineChangeEvent extends ControlEvent {
     readonly pristine: boolean;
@@ -2288,6 +2310,8 @@ declare class PristineChangeEvent extends ControlEvent {
 /**
  * Event fired when the control's touched status changes (touched <=> untouched).
  *
+ * @see {@link AbstractControl.events}
+ *
  * @publicApi
  */
 declare class TouchedChangeEvent extends ControlEvent {
@@ -2298,6 +2322,8 @@ declare class TouchedChangeEvent extends ControlEvent {
 /**
  * Event fired when the control's status changes.
  *
+ * @see {@link AbstractControl.events}
+ *
  * @publicApi
  */
 declare class StatusChangeEvent extends ControlEvent {
@@ -2308,6 +2334,8 @@ declare class StatusChangeEvent extends ControlEvent {
 /**
  * Event fired when a form is submitted
  *
+ * @see {@link AbstractControl.events}
+ *
  * @publicApi
  */
 declare class FormSubmittedEvent extends ControlEvent {
@@ -2317,6 +2345,8 @@ declare class FormSubmittedEvent extends ControlEvent {
 /**
  * Event fired when a form is reset.
  *
+ * @see {@link AbstractControl.events}
+ *
  * @publicApi
  */
 declare class FormResetEvent extends ControlEvent {
@@ -2635,6 +2665,7 @@ declare abstract class AbstractControl<TValue = any, TRawValue extends TValue =
      * `events` of the parent control instead.
      * For other event types, the events are emitted after the parent control has been updated.
      *
+     * @see [Unified control state change events](guide/forms/reactive-forms#unified-control-state-change-events)
      */
     readonly events: Observable<ControlEvent<TValue>>;
     /**
@@ -4063,7 +4094,7 @@ type SetDisabledStateOption = 'whenDisabledForLegacyCode' | 'always';
  *
  * To inspect the properties of the associated `FormControl` (like the validity state),
  * export the directive into a local template variable using `ngModel` as the key (ex:
- * `#myVar="ngModel"`). You can then access the control using the directive's `control` property.
+ * `#myVar="ngModel"`). You can then access the control using the directive's `field` property.
  * However, the most commonly used properties (like `valid` and `dirty`) also exist on the control
  * for direct access. See a full list of properties directly available in
  * `AbstractControlDirective`.

package/types/signals.d.ts

@@ -1,5 +1,5 @@
 /**
- * @license Angular v21.0.0-next.7
+ * @license Angular v21.0.0-next.9
  * (c) 2010-2025 Google LLC. https://angular.dev/
  * License: MIT
  */
@@ -7,26 +7,57 @@
 import { HttpResourceRequest, HttpResourceOptions } from '@angular/common/http';
 import * as i0 from '@angular/core';
 import { InjectionToken, ɵControl as _Control, ɵCONTROL as _CONTROL, ɵFieldState as _FieldState, Signal, ResourceRef, InputSignal, ModelSignal, OutputRef, WritableSignal, DestroyableInjector, Injector } from '@angular/core';
+import { NgControl, AbstractControl, ValidationErrors, FormControlStatus, ControlValueAccessor, ValidatorFn } from '@angular/forms';
 import { StandardSchemaV1 } from '@standard-schema/spec';
 
 /**
- * Lightweight DI token provided by the {@link Control} directive.
+ * Properties of both NgControl & AbstractControl that are supported by the InteropNgControl.
+ */
+type InteropSharedKeys = 'value' | 'valid' | 'invalid' | 'touched' | 'untouched' | 'disabled' | 'enabled' | 'errors' | 'pristine' | 'dirty' | 'status';
+/**
+ * A fake version of `NgControl` provided by the `Field` directive. This allows interoperability
+ * with a wider range of components designed to work with reactive forms, in particular ones that
+ * inject the `NgControl`. The interop control does not implement *all* properties and methods of
+ * the real `NgControl`, but does implement some of the most commonly used ones that have a clear
+ * equivalent in signal forms.
+ */
+declare class InteropNgControl implements Pick<NgControl, InteropSharedKeys | 'control' | 'valueAccessor'>, Pick<AbstractControl<unknown>, InteropSharedKeys | 'hasValidator'> {
+    protected field: () => FieldState<unknown>;
+    constructor(field: () => FieldState<unknown>);
+    readonly control: AbstractControl<any, any>;
+    get value(): any;
+    get valid(): boolean;
+    get invalid(): boolean;
+    get pending(): boolean | null;
+    get disabled(): boolean;
+    get enabled(): boolean;
+    get errors(): ValidationErrors | null;
+    get pristine(): boolean;
+    get dirty(): boolean;
+    get touched(): boolean;
+    get untouched(): boolean;
+    get status(): FormControlStatus;
+    valueAccessor: ControlValueAccessor | null;
+    hasValidator(validator: ValidatorFn): boolean;
+    updateValueAndValidity(): void;
+}
+
+/**
+ * Lightweight DI token provided by the {@link Field} directive.
  */
-declare const CONTROL: InjectionToken<Control<unknown>>;
+declare const FIELD: InjectionToken<Field<unknown>>;
 /**
  * Binds a form `FieldTree` to a UI control that edits it. A UI control can be one of several things:
  * 1. A native HTML input or textarea
  * 2. A signal forms custom control that implements `FormValueControl` or `FormCheckboxControl`
- * 3. TODO: https://github.com/orgs/angular/projects/60/views/1?pane=issue&itemId=131712274. A
- *    component that provides a ControlValueAccessor. This should only be used to backwards
+ * 3. A component that provides a `ControlValueAccessor`. This should only be used for backwards
  *    compatibility with reactive forms. Prefer options (1) and (2).
  *
  * This directive has several responsibilities:
  * 1. Two-way binds the field's value with the UI control's value
  * 2. Binds additional forms related state on the field to the UI control (disabled, required, etc.)
  * 3. Relays relevant events on the control to the field (e.g. marks field touched on blur)
- * 4. TODO: https://github.com/orgs/angular/projects/60/views/1?pane=issue&itemId=131712274.
- *    Provides a fake `NgControl` that implements a subset of the features available on the
+ * 4. Provides a fake `NgControl` that implements a subset of the features available on the
  *    reactive forms `NgControl`. This is provided to improve interoperability with controls
  *    designed to work with reactive forms. It should not be used by controls written for signal
  *    forms.
@@ -34,14 +65,25 @@ declare const CONTROL: InjectionToken<Control<unknown>>;
  * @category control
  * @experimental 21.0.0
  */
-declare class Control<T> implements _Control<T> {
+declare class Field<T> implements _Control<T> {
     private readonly injector;
     readonly field: i0.InputSignal<FieldTree<T>>;
     readonly state: i0.Signal<FieldState<T, string | number>>;
     readonly [_CONTROL]: undefined;
-    register(): void;
-    static ɵfac: i0.ɵɵFactoryDeclaration<Control<any>, never>;
-    static ɵdir: i0.ɵɵDirectiveDeclaration<Control<any>, "[control]", never, { "field": { "alias": "control"; "required": true; "isSignal": true; }; }, {}, never, never, true, never>;
+    /** Any `ControlValueAccessor` instances provided on the host element. */
+    private readonly controlValueAccessors;
+    /** A lazily instantiated fake `NgControl`. */
+    private interopNgControl;
+    /** A `ControlValueAccessor`, if configured, for the host component. */
+    private get controlValueAccessor();
+    get ɵhasInteropControl(): boolean;
+    /** Lazily instantiates a fake `NgControl` for this field. */
+    ɵgetOrCreateNgControl(): InteropNgControl;
+    ɵinteropControlCreate(): void;
+    ɵinteropControlUpdate(): void;
+    ɵregister(): void;
+    static ɵfac: i0.ɵɵFactoryDeclaration<Field<any>, never>;
+    static ɵdir: i0.ɵɵDirectiveDeclaration<Field<any>, "[field]", never, { "field": { "alias": "field"; "required": true; "isSignal": true; }; }, {}, never, never, true, never>;
 }
 
 /**
@@ -518,15 +560,6 @@ type NgValidationError = RequiredValidationError | MinValidationError | MaxValid
  * Symbol used to retain generic type information when it would otherwise be lost.
  */
 declare const ɵɵTYPE: unique symbol;
-/**
- * Creates a type based on the given type T, but with all readonly properties made writable.
- * @template T The type to create a mutable version of.
- *
- * @experimental 21.0.0
- */
-type Mutable<T> = {
-    -readonly [P in keyof T]: T[P];
-};
 /**
  * A type that represents either a single value of type `T` or a readonly array of `T`.
  * @template T The type of the value(s).
@@ -762,9 +795,9 @@ interface FieldState<TValue, TKey extends string | number = string | number> ext
      */
     readonly keyInParent: Signal<TKey>;
     /**
-     * A signal containing the `Control` directives this field is currently bound to.
+     * The {@link Field} directives that bind this field to a UI control.
      */
-    readonly controls: Signal<readonly Control<unknown>[]>;
+    readonly fieldBindings: Signal<readonly Field<unknown>[]>;
     /**
      * Reads an aggregate property value from the field.
      * @param prop The property to read.
@@ -1073,93 +1106,93 @@ declare function validateHttp<TValue, TResult = unknown, TPathKind extends PathK
  */
 interface FormUiControl {
     /**
-     * An input to receive the errors for the field. If implemented, the `Control` directive will
+     * An input to receive the errors for the field. If implemented, the `Field` directive will
      * automatically bind errors from the bound field to this input.
      */
     readonly errors?: InputSignal<readonly WithOptionalField<ValidationError>[]>;
     /**
-     * An input to receive the disabled status for the field. If implemented, the `Control` directive
+     * An input to receive the disabled status for the field. If implemented, the `Field` directive
      * will automatically bind the disabled status from the bound field to this input.
      */
     readonly disabled?: InputSignal<boolean>;
     /**
-     * An input to receive the reasons for the disablement of the field. If implemented, the `Control`
+     * An input to receive the reasons for the disablement of the field. If implemented, the `Field`
      * directive will automatically bind the disabled reason from the bound field to this input.
      */
     readonly disabledReasons?: InputSignal<readonly WithOptionalField<DisabledReason>[]>;
     /**
-     * An input to receive the readonly status for the field. If implemented, the `Control` directive
+     * An input to receive the readonly status for the field. If implemented, the `Field` directive
      * will automatically bind the readonly status from the bound field to this input.
      */
     readonly readonly?: InputSignal<boolean>;
     /**
-     * An input to receive the hidden status for the field. If implemented, the `Control` directive
+     * An input to receive the hidden status for the field. If implemented, the `Field` directive
      * will automatically bind the hidden status from the bound field to this input.
      */
     readonly hidden?: InputSignal<boolean>;
     /**
-     * An input to receive the invalid status for the field. If implemented, the `Control` directive
+     * An input to receive the invalid status for the field. If implemented, the `Field` directive
      * will automatically bind the invalid status from the bound field to this input.
      */
     readonly invalid?: InputSignal<boolean>;
     /**
-     * An input to receive the pending status for the field. If implemented, the `Control` directive
+     * An input to receive the pending status for the field. If implemented, the `Field` directive
      * will automatically bind the pending status from the bound field to this input.
      */
     readonly pending?: InputSignal<boolean>;
     /**
-     * An input to receive the touched status for the field. If implemented, the `Control` directive
+     * An input to receive the touched status for the field. If implemented, the `Field` directive
      * will automatically bind the touched status from the bound field to this input.
      */
     readonly touched?: ModelSignal<boolean> | InputSignal<boolean> | OutputRef<boolean>;
     /**
-     * An input to receive the dirty status for the field. If implemented, the `Control` directive
+     * An input to receive the dirty status for the field. If implemented, the `Field` directive
      * will automatically bind the dirty status from the bound field to this input.
      */
     readonly dirty?: InputSignal<boolean>;
     /**
-     * An input to receive the name for the field. If implemented, the `Control` directive will
+     * An input to receive the name for the field. If implemented, the `Field` directive will
      * automatically bind the name from the bound field to this input.
      */
     readonly name?: InputSignal<string>;
     /**
-     * An input to receive the required status for the field. If implemented, the `Control` directive
+     * An input to receive the required status for the field. If implemented, the `Field` directive
      * will automatically bind the required status from the bound field to this input.
      */
     readonly required?: InputSignal<boolean>;
     /**
-     * An input to receive the min value for the field. If implemented, the `Control` directive will
+     * An input to receive the min value for the field. If implemented, the `Field` directive will
      * automatically bind the min value from the bound field to this input.
      */
     readonly min?: InputSignal<number | undefined>;
     /**
-     * An input to receive the min length for the field. If implemented, the `Control` directive will
+     * An input to receive the min length for the field. If implemented, the `Field` directive will
      * automatically bind the min length from the bound field to this input.
      */
     readonly minLength?: InputSignal<number | undefined>;
     /**
-     * An input to receive the max value for the field. If implemented, the `Control` directive will
+     * An input to receive the max value for the field. If implemented, the `Field` directive will
      * automatically bind the max value from the bound field to this input.
      */
     readonly max?: InputSignal<number | undefined>;
     /**
-     * An input to receive the max length for the field. If implemented, the `Control` directive will
+     * An input to receive the max length for the field. If implemented, the `Field` directive will
      * automatically bind the max length from the bound field to this input.
      */
     readonly maxLength?: InputSignal<number | undefined>;
     /**
-     * An input to receive the value patterns for the field. If implemented, the `Control` directive
+     * An input to receive the value patterns for the field. If implemented, the `Field` directive
      * will automatically bind the value patterns from the bound field to this input.
      */
     readonly pattern?: InputSignal<readonly RegExp[]>;
 }
 /**
  * A contract for a form control that edits a `FieldTree` of type `TValue`. Any component that
- * implements this contract can be used with the `Control` directive.
+ * implements this contract can be used with the `Field` directive.
  *
  * Many of the properties declared on this contract are optional. They do not need to be
  * implemented, but if they are will be kept in sync with the field state of the field bound to the
- * `Control` directive.
+ * `Field` directive.
  *
  * @template TValue The type of `FieldTree` that the implementing component can edit.
  *
@@ -1169,23 +1202,23 @@ interface FormUiControl {
 interface FormValueControl<TValue> extends FormUiControl {
     /**
      * The value is the only required property in this contract. A component that wants to integrate
-     * with the `Control` directive via this contract, *must* provide a `model()` that will be kept in
+     * with the `Field` directive via this contract, *must* provide a `model()` that will be kept in
      * sync with the value of the bound `FieldTree`.
      */
     readonly value: ModelSignal<TValue>;
     /**
      * The implementing component *must not* define a `checked` property. This is reserved for
-     * components that want to integrate with the `Control` directive as a checkbox.
+     * components that want to integrate with the `Field` directive as a checkbox.
      */
     readonly checked?: undefined;
 }
 /**
  * A contract for a form control that edits a boolean checkbox `FieldTree`. Any component that
- * implements this contract can be used with the `Control` directive.
+ * implements this contract can be used with the `Field` directive.
  *
  * Many of the properties declared on this contract are optional. They do not need to be
  * implemented, but if they are will be kept in sync with the field state of the field bound to the
- * `Control` directive.
+ * `Field` directive.
  *
  * @category control
  * @experimental 21.0.0
@@ -1193,13 +1226,13 @@ interface FormValueControl<TValue> extends FormUiControl {
 interface FormCheckboxControl extends FormUiControl {
     /**
      * The checked is the only required property in this contract. A component that wants to integrate
-     * with the `Control` directive, *must* provide a `model()` that will be kept in sync with the
+     * with the `Field` directive, *must* provide a `model()` that will be kept in sync with the
      * value of the bound `FieldTree`.
      */
     readonly checked: ModelSignal<boolean>;
     /**
      * The implementing component *must not* define a `value` property. This is reserved for
-     * components that want to integrate with the `Control` directive as a standard input.
+     * components that want to integrate with the `Field` directive as a standard input.
      */
     readonly value?: undefined;
 }
@@ -1445,7 +1478,7 @@ declare class LogicContainer {
      */
     constructor(predicates: ReadonlyArray<BoundPredicate>);
     /** Checks whether there is logic for the given aggregate property. */
-    hasAggregateProperty(prop: AggregateProperty<unknown, unknown>): boolean;
+    hasAggregateProperty(prop: AggregateProperty<any, any>): boolean;
     /**
      * Gets an iterable of [aggregate property, logic function] pairs.
      * @returns An iterable of aggregate property entries.
@@ -1682,7 +1715,7 @@ declare class FieldPropertyState {
      * @param prop
      * @returns
      */
-    has(prop: Property<unknown> | AggregateProperty<unknown, unknown>): boolean;
+    has(prop: Property<any> | AggregateProperty<any, any>): boolean;
 }
 
 /**
@@ -1721,8 +1754,8 @@ declare class FieldNodeState {
      * Marks this specific field as not touched.
      */
     markAsUntouched(): void;
-    /** The UI controls the field is currently bound to. */
-    readonly controls: i0.WritableSignal<readonly Control<unknown>[]>;
+    /** The {@link Field} directives that bind this field to a UI control. */
+    readonly fieldBindings: i0.WritableSignal<readonly Field<unknown>[]>;
     constructor(node: FieldNode);
     /**
      * Whether this field is considered dirty.
@@ -1932,18 +1965,19 @@ declare class FieldNode implements FieldState<unknown> {
     get disabledReasons(): Signal<readonly DisabledReason[]>;
     get hidden(): Signal<boolean>;
     get readonly(): Signal<boolean>;
-    get controls(): Signal<readonly Control<unknown>[]>;
+    get fieldBindings(): Signal<readonly Field<unknown>[]>;
     get submitting(): Signal<boolean>;
     get name(): Signal<string>;
-    get max(): Signal<number | undefined>;
-    get maxLength(): Signal<number | undefined>;
-    get min(): Signal<number | undefined>;
-    get minLength(): Signal<number | undefined>;
-    get pattern(): Signal<readonly RegExp[]>;
-    get required(): Signal<boolean>;
+    private propertyOrUndefined;
+    get max(): Signal<number | undefined> | undefined;
+    get maxLength(): Signal<number | undefined> | undefined;
+    get min(): Signal<number | undefined> | undefined;
+    get minLength(): Signal<number | undefined> | undefined;
+    get pattern(): Signal<readonly RegExp[]> | undefined;
+    get required(): Signal<boolean> | undefined;
     property<M>(prop: AggregateProperty<M, any>): Signal<M>;
     property<M>(prop: Property<M>): M | undefined;
-    hasProperty(prop: Property<unknown> | AggregateProperty<unknown, any>): boolean;
+    hasProperty(prop: Property<any> | AggregateProperty<any, any>): boolean;
     /**
      * Marks this specific field as touched.
      */
@@ -2650,5 +2684,5 @@ type IgnoreUnknownProperties<T> = T extends Record<PropertyKey, unknown> ? {
  */
 declare function validateStandardSchema<TSchema, TValue extends IgnoreUnknownProperties<TSchema>>(path: FieldPath<TValue>, schema: StandardSchemaV1<TSchema>): void;
 
-export { AggregateProperty, CONTROL, Control, CustomValidationError, EmailValidationError, MAX, MAX_LENGTH, MIN, MIN_LENGTH, MaxLengthValidationError, MaxValidationError, MinLengthValidationError, MinValidationError, NgValidationError, PATTERN, PathKind, PatternValidationError, Property, REQUIRED, RequiredValidationError, StandardSchemaValidationError, aggregateProperty, andProperty, apply, applyEach, applyWhen, applyWhenValue, createProperty, customError, disabled, email, emailError, form, hidden, listProperty, max, maxError, maxLength, maxLengthError, maxProperty, min, minError, minLength, minLengthError, minProperty, orProperty, pattern, patternError, property, readonly, reducedProperty, required, requiredError, schema, standardSchemaError, submit, validate, validateAsync, validateHttp, validateStandardSchema, validateTree };
-export type { AsyncValidationResult, AsyncValidatorOptions, ChildFieldContext, DisabledReason, FieldContext, FieldPath, FieldState, FieldTree, FieldValidationResult, FieldValidator, FormCheckboxControl, FormOptions, FormUiControl, FormValueControl, HttpValidatorOptions, IgnoreUnknownProperties, ItemFieldContext, LogicFn, MapToErrorsFn, MaybeFieldPath, MaybeFieldTree, Mutable, OneOrMany, ReadonlyArrayLike, RemoveStringIndexUnknownKey, RootFieldContext, Schema, SchemaFn, SchemaOrSchemaFn, Subfields, SubmittedStatus, TreeValidationResult, TreeValidator, ValidationError, ValidationResult, ValidationSuccess, Validator, WithField, WithOptionalField, WithoutField };
+export { AggregateProperty, CustomValidationError, EmailValidationError, FIELD, Field, MAX, MAX_LENGTH, MIN, MIN_LENGTH, MaxLengthValidationError, MaxValidationError, MinLengthValidationError, MinValidationError, NgValidationError, PATTERN, PathKind, PatternValidationError, Property, REQUIRED, RequiredValidationError, StandardSchemaValidationError, aggregateProperty, andProperty, apply, applyEach, applyWhen, applyWhenValue, createProperty, customError, disabled, email, emailError, form, hidden, listProperty, max, maxError, maxLength, maxLengthError, maxProperty, min, minError, minLength, minLengthError, minProperty, orProperty, pattern, patternError, property, readonly, reducedProperty, required, requiredError, schema, standardSchemaError, submit, validate, validateAsync, validateHttp, validateStandardSchema, validateTree };
+export type { AsyncValidationResult, AsyncValidatorOptions, ChildFieldContext, DisabledReason, FieldContext, FieldPath, FieldState, FieldTree, FieldValidationResult, FieldValidator, FormCheckboxControl, FormOptions, FormUiControl, FormValueControl, HttpValidatorOptions, IgnoreUnknownProperties, ItemFieldContext, LogicFn, MapToErrorsFn, MaybeFieldPath, MaybeFieldTree, OneOrMany, ReadonlyArrayLike, RemoveStringIndexUnknownKey, RootFieldContext, Schema, SchemaFn, SchemaOrSchemaFn, Subfields, SubmittedStatus, TreeValidationResult, TreeValidator, ValidationError, ValidationResult, ValidationSuccess, Validator, WithField, WithOptionalField, WithoutField };