@typescript-deploys/pr-build 5.5.0-pr-58264-13 → 5.5.0-pr-58296-8

package/lib/lib.dom.d.ts

@@ -1293,8 +1293,8 @@ interface PushSubscriptionOptionsInit {
 }
 
 interface QueuingStrategy<T = any> {
-    highWaterMark?: number;
-    size?: QueuingStrategySize<T>;
+    readonly highWaterMark?: number;
+    readonly size?: QueuingStrategySize<T>;
 }
 
 interface QueuingStrategyInit {
@@ -1303,7 +1303,7 @@ interface QueuingStrategyInit {
      *
      * Note that the provided high water mark will not be validated ahead of time. Instead, if it is negative, NaN, or not a number, the resulting ByteLengthQueuingStrategy will cause the corresponding stream constructor to throw.
      */
-    highWaterMark: number;
+    readonly highWaterMark: number;
 }
 
 interface RTCAnswerOptions extends RTCOfferAnswerOptions {
@@ -6059,9 +6059,9 @@ interface DOMException extends Error {
      */
     readonly code: number;
     /** [MDN Reference](https://developer.mozilla.org/docs/Web/API/DOMException/message) */
-    readonly message: string;
+    message: string;
     /** [MDN Reference](https://developer.mozilla.org/docs/Web/API/DOMException/name) */
-    readonly name: string;
+    name: string;
     readonly INDEX_SIZE_ERR: 1;
     readonly DOMSTRING_SIZE_ERR: 2;
     readonly HIERARCHY_REQUEST_ERR: 3;
@@ -18811,7 +18811,7 @@ interface ReadableStream<R = any> {
 
 declare var ReadableStream: {
     prototype: ReadableStream;
-    new(underlyingSource: UnderlyingByteSource, strategy?: { highWaterMark?: number }): ReadableStream<Uint8Array>;
+    new(underlyingSource: UnderlyingByteSource, strategy?: { readonly highWaterMark?: number }): ReadableStream<Uint8Array>;
     new<R = any>(underlyingSource: UnderlyingDefaultSource<R>, strategy?: QueuingStrategy<R>): ReadableStream<R>;
     new<R = any>(underlyingSource?: UnderlyingSource<R>, strategy?: QueuingStrategy<R>): ReadableStream<R>;
 };
@@ -19551,7 +19551,7 @@ interface SVGElementEventMap extends ElementEventMap, GlobalEventHandlersEventMa
  */
 interface SVGElement extends Element, ElementCSSInlineStyle, GlobalEventHandlers, HTMLOrSVGElement {
     /** @deprecated */
-    readonly className: any;
+    className: any;
     readonly ownerSVGElement: SVGSVGElement | null;
     readonly viewportElement: SVGElement | null;
     addEventListener<K extends keyof SVGElementEventMap>(type: K, listener: (this: SVGElement, ev: SVGElementEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void;

package/lib/lib.es2015.collection.d.ts

@@ -48,7 +48,7 @@ interface Map<K, V> {
 interface MapConstructor {
     new (): Map<any, any>;
     new <K, V>(entries?: readonly (readonly [K, V])[] | null): Map<K, V>;
-    readonly prototype: Map<any, any>;
+    prototype: Map<any, any>;
 }
 declare var Map: MapConstructor;
 
@@ -82,7 +82,7 @@ interface WeakMap<K extends WeakKey, V> {
 
 interface WeakMapConstructor {
     new <K extends WeakKey = WeakKey, V = any>(entries?: readonly (readonly [K, V])[] | null): WeakMap<K, V>;
-    readonly prototype: WeakMap<WeakKey, any>;
+    prototype: WeakMap<WeakKey, any>;
 }
 declare var WeakMap: WeakMapConstructor;
 
@@ -114,7 +114,7 @@ interface Set<T> {
 
 interface SetConstructor {
     new <T = any>(values?: readonly T[] | null): Set<T>;
-    readonly prototype: Set<any>;
+    prototype: Set<any>;
 }
 declare var Set: SetConstructor;
 
@@ -142,6 +142,6 @@ interface WeakSet<T extends WeakKey> {
 
 interface WeakSetConstructor {
     new <T extends WeakKey = WeakKey>(values?: readonly T[] | null): WeakSet<T>;
-    readonly prototype: WeakSet<WeakKey>;
+    prototype: WeakSet<WeakKey>;
 }
 declare var WeakSet: WeakSetConstructor;

package/lib/lib.es2015.generator.d.ts

@@ -48,7 +48,7 @@ interface GeneratorFunction {
     /**
      * A reference to the prototype.
      */
-    readonly prototype: Generator;
+    prototype: Generator;
 }
 
 interface GeneratorFunctionConstructor {
@@ -73,5 +73,5 @@ interface GeneratorFunctionConstructor {
     /**
      * A reference to the prototype.
      */
-    readonly prototype: GeneratorFunction;
+    prototype: GeneratorFunction;
 }

package/lib/lib.es2015.promise.d.ts

@@ -20,7 +20,7 @@ interface PromiseConstructor {
     /**
      * A reference to the prototype.
      */
-    readonly prototype: Promise<any>;
+    prototype: Promise<any>;
 
     /**
      * Creates a new Promise.

package/lib/lib.es2015.symbol.d.ts

@@ -20,7 +20,7 @@ interface SymbolConstructor {
     /**
      * A reference to the prototype.
      */
-    readonly prototype: Symbol;
+    prototype: Symbol;
 
     /**
      * Returns a new unique Symbol value.

package/lib/lib.es2017.object.d.ts

@@ -21,7 +21,7 @@ interface ObjectConstructor {
      * Returns an array of values of the enumerable properties of an object
      * @param o Object that contains the properties and methods. This can be an object that you created or an existing Document Object Model (DOM) object.
      */
-    values<T>(o: { [s: string]: T; } | ArrayLike<T>): T[];
+    values<T>(o: { readonly [s: string]: T; } | ArrayLike<T>): T[];
 
     /**
      * Returns an array of values of the enumerable properties of an object
@@ -33,7 +33,7 @@ interface ObjectConstructor {
      * Returns an array of key/values of the enumerable properties of an object
      * @param o Object that contains the properties and methods. This can be an object that you created or an existing Document Object Model (DOM) object.
      */
-    entries<T>(o: { [s: string]: T; } | ArrayLike<T>): [string, T][];
+    entries<T>(o: { readonly [s: string]: T; } | ArrayLike<T>): [string, T][];
 
     /**
      * Returns an array of key/values of the enumerable properties of an object

package/lib/lib.es2017.sharedmemory.d.ts

@@ -34,7 +34,7 @@ interface SharedArrayBuffer {
 }
 
 interface SharedArrayBufferConstructor {
-    readonly prototype: SharedArrayBuffer;
+    prototype: SharedArrayBuffer;
     new (byteLength: number): SharedArrayBuffer;
 }
 declare var SharedArrayBuffer: SharedArrayBufferConstructor;

package/lib/lib.es2018.asyncgenerator.d.ts

@@ -48,7 +48,7 @@ interface AsyncGeneratorFunction {
     /**
      * A reference to the prototype.
      */
-    readonly prototype: AsyncGenerator;
+    prototype: AsyncGenerator;
 }
 
 interface AsyncGeneratorFunctionConstructor {
@@ -73,5 +73,5 @@ interface AsyncGeneratorFunctionConstructor {
     /**
      * A reference to the prototype.
      */
-    readonly prototype: AsyncGeneratorFunction;
+    prototype: AsyncGeneratorFunction;
 }

package/lib/lib.es2018.intl.d.ts

@@ -50,7 +50,7 @@ declare namespace Intl {
     interface PluralRulesConstructor {
         new (locales?: string | readonly string[], options?: PluralRulesOptions): PluralRules;
         (locales?: string | readonly string[], options?: PluralRulesOptions): PluralRules;
-        supportedLocalesOf(locales: string | readonly string[], options?: { localeMatcher?: "lookup" | "best fit"; }): string[];
+        supportedLocalesOf(locales: string | readonly string[], options?: { readonly localeMatcher?: "lookup" | "best fit"; }): string[];
     }
 
     const PluralRules: PluralRulesConstructor;

package/lib/lib.es2020.bigint.d.ts

@@ -122,7 +122,7 @@ interface BigInt {
 
 interface BigIntConstructor {
     (value: bigint | boolean | number | string): bigint;
-    readonly prototype: BigInt;
+    prototype: BigInt;
 
     /**
      * Interprets the low bits of a BigInt as a 2's-complement signed integer.
@@ -388,7 +388,7 @@ interface BigInt64Array {
 }
 
 interface BigInt64ArrayConstructor {
-    readonly prototype: BigInt64Array;
+    prototype: BigInt64Array;
     new (length?: number): BigInt64Array;
     new (array: Iterable<bigint>): BigInt64Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): BigInt64Array;
@@ -660,7 +660,7 @@ interface BigUint64Array {
 }
 
 interface BigUint64ArrayConstructor {
-    readonly prototype: BigUint64Array;
+    prototype: BigUint64Array;
     new (length?: number): BigUint64Array;
     new (array: Iterable<bigint>): BigUint64Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): BigUint64Array;

package/lib/lib.es2020.intl.d.ts

@@ -444,7 +444,7 @@ declare namespace Intl {
          *
          * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/DisplayNames/supportedLocalesOf).
          */
-        supportedLocalesOf(locales?: LocalesArgument, options?: { localeMatcher?: RelativeTimeFormatLocaleMatcher; }): UnicodeBCP47LocaleIdentifier[];
+        supportedLocalesOf(locales?: LocalesArgument, options?: { readonly localeMatcher?: RelativeTimeFormatLocaleMatcher; }): UnicodeBCP47LocaleIdentifier[];
     };
 
     interface CollatorConstructor {

package/lib/lib.es2021.promise.d.ts

@@ -23,7 +23,7 @@ interface AggregateError extends Error {
 interface AggregateErrorConstructor {
     new (errors: Iterable<any>, message?: string): AggregateError;
     (errors: Iterable<any>, message?: string): AggregateError;
-    readonly prototype: AggregateError;
+    prototype: AggregateError;
 }
 
 declare var AggregateError: AggregateErrorConstructor;

package/lib/lib.es2021.weakref.d.ts

@@ -28,7 +28,7 @@ interface WeakRef<T extends WeakKey> {
 }
 
 interface WeakRefConstructor {
-    readonly prototype: WeakRef<any>;
+    prototype: WeakRef<any>;
 
     /**
      * Creates a WeakRef instance for the given target value.
@@ -64,7 +64,7 @@ interface FinalizationRegistry<T> {
 }
 
 interface FinalizationRegistryConstructor {
-    readonly prototype: FinalizationRegistry<any>;
+    prototype: FinalizationRegistry<any>;
 
     /**
      * Creates a finalization registry with an associated cleanup callback

package/lib/lib.es5.d.ts

@@ -158,7 +158,7 @@ interface ObjectConstructor {
     (value: any): any;
 
     /** A reference to the prototype for a class of objects. */
-    readonly prototype: Object;
+    prototype: Object;
 
     /**
      * Returns the prototype of an object.
@@ -313,7 +313,7 @@ interface FunctionConstructor {
      */
     new (...args: string[]): Function;
     (...args: string[]): Function;
-    readonly prototype: Function;
+    prototype: Function;
 }
 
 declare var Function: FunctionConstructor;
@@ -534,7 +534,7 @@ interface String {
 interface StringConstructor {
     new (value?: any): String;
     (value?: any): string;
-    readonly prototype: String;
+    prototype: String;
     fromCharCode(...codes: number[]): string;
 }
 
@@ -551,7 +551,7 @@ interface Boolean {
 interface BooleanConstructor {
     new (value?: any): Boolean;
     <T>(value?: T): boolean;
-    readonly prototype: Boolean;
+    prototype: Boolean;
 }
 
 declare var Boolean: BooleanConstructor;
@@ -588,7 +588,7 @@ interface Number {
 interface NumberConstructor {
     new (value?: any): Number;
     (value?: any): number;
-    readonly prototype: Number;
+    prototype: Number;
 
     /** The largest number that can be represented in JavaScript. Equal to approximately 1.79E+308. */
     readonly MAX_VALUE: number;
@@ -937,7 +937,7 @@ interface DateConstructor {
      */
     new (year: number, monthIndex: number, date?: number, hours?: number, minutes?: number, seconds?: number, ms?: number): Date;
     (): string;
-    readonly prototype: Date;
+    prototype: Date;
     /**
      * Parses a string containing a date, and returns the number of milliseconds between that date and midnight, January 1, 1970.
      * @param s A date string
@@ -1081,7 +1081,7 @@ interface Error {
 interface ErrorConstructor {
     new (message?: string): Error;
     (message?: string): Error;
-    readonly prototype: Error;
+    prototype: Error;
 }
 
 declare var Error: ErrorConstructor;
@@ -1092,7 +1092,7 @@ interface EvalError extends Error {
 interface EvalErrorConstructor extends ErrorConstructor {
     new (message?: string): EvalError;
     (message?: string): EvalError;
-    readonly prototype: EvalError;
+    prototype: EvalError;
 }
 
 declare var EvalError: EvalErrorConstructor;
@@ -1103,7 +1103,7 @@ interface RangeError extends Error {
 interface RangeErrorConstructor extends ErrorConstructor {
     new (message?: string): RangeError;
     (message?: string): RangeError;
-    readonly prototype: RangeError;
+    prototype: RangeError;
 }
 
 declare var RangeError: RangeErrorConstructor;
@@ -1114,7 +1114,7 @@ interface ReferenceError extends Error {
 interface ReferenceErrorConstructor extends ErrorConstructor {
     new (message?: string): ReferenceError;
     (message?: string): ReferenceError;
-    readonly prototype: ReferenceError;
+    prototype: ReferenceError;
 }
 
 declare var ReferenceError: ReferenceErrorConstructor;
@@ -1125,7 +1125,7 @@ interface SyntaxError extends Error {
 interface SyntaxErrorConstructor extends ErrorConstructor {
     new (message?: string): SyntaxError;
     (message?: string): SyntaxError;
-    readonly prototype: SyntaxError;
+    prototype: SyntaxError;
 }
 
 declare var SyntaxError: SyntaxErrorConstructor;
@@ -1136,7 +1136,7 @@ interface TypeError extends Error {
 interface TypeErrorConstructor extends ErrorConstructor {
     new (message?: string): TypeError;
     (message?: string): TypeError;
-    readonly prototype: TypeError;
+    prototype: TypeError;
 }
 
 declare var TypeError: TypeErrorConstructor;
@@ -1147,7 +1147,7 @@ interface URIError extends Error {
 interface URIErrorConstructor extends ErrorConstructor {
     new (message?: string): URIError;
     (message?: string): URIError;
-    readonly prototype: URIError;
+    prototype: URIError;
 }
 
 declare var URIError: URIErrorConstructor;
@@ -1511,7 +1511,7 @@ interface ArrayConstructor {
     <T>(arrayLength: number): T[];
     <T>(...items: T[]): T[];
     isArray(arg: any): arg is any[];
-    readonly prototype: any[];
+    prototype: any[];
 }
 
 declare var Array: ArrayConstructor;
@@ -1713,7 +1713,7 @@ interface ArrayBufferTypes {
 type ArrayBufferLike = ArrayBufferTypes[keyof ArrayBufferTypes];
 
 interface ArrayBufferConstructor {
-    readonly prototype: ArrayBuffer;
+    prototype: ArrayBuffer;
     new (byteLength: number): ArrayBuffer;
     isView(arg: any): arg is ArrayBufferView;
 }
@@ -1723,17 +1723,17 @@ interface ArrayBufferView {
     /**
      * The ArrayBuffer instance referenced by the array.
      */
-    buffer: ArrayBufferLike;
+    readonly buffer: ArrayBufferLike;
 
     /**
      * The length in bytes of the array.
      */
-    byteLength: number;
+    readonly byteLength: number;
 
     /**
      * The offset in bytes of the array.
      */
-    byteOffset: number;
+    readonly byteOffset: number;
 }
 
 interface DataView {
@@ -1865,8 +1865,8 @@ interface DataView {
 }
 
 interface DataViewConstructor {
-    readonly prototype: DataView;
-    new (buffer: ArrayBufferLike & { BYTES_PER_ELEMENT?: never; }, byteOffset?: number, byteLength?: number): DataView;
+    prototype: DataView;
+    new (buffer: ArrayBufferLike & { readonly BYTES_PER_ELEMENT?: never; }, byteOffset?: number, byteLength?: number): DataView;
 }
 declare var DataView: DataViewConstructor;
 
@@ -2118,7 +2118,7 @@ interface Int8Array {
     [index: number]: number;
 }
 interface Int8ArrayConstructor {
-    readonly prototype: Int8Array;
+    prototype: Int8Array;
     new (length: number): Int8Array;
     new (array: ArrayLike<number> | ArrayBufferLike): Int8Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): Int8Array;
@@ -2399,7 +2399,7 @@ interface Uint8Array {
 }
 
 interface Uint8ArrayConstructor {
-    readonly prototype: Uint8Array;
+    prototype: Uint8Array;
     new (length: number): Uint8Array;
     new (array: ArrayLike<number> | ArrayBufferLike): Uint8Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): Uint8Array;
@@ -2680,7 +2680,7 @@ interface Uint8ClampedArray {
 }
 
 interface Uint8ClampedArrayConstructor {
-    readonly prototype: Uint8ClampedArray;
+    prototype: Uint8ClampedArray;
     new (length: number): Uint8ClampedArray;
     new (array: ArrayLike<number> | ArrayBufferLike): Uint8ClampedArray;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): Uint8ClampedArray;
@@ -2960,7 +2960,7 @@ interface Int16Array {
 }
 
 interface Int16ArrayConstructor {
-    readonly prototype: Int16Array;
+    prototype: Int16Array;
     new (length: number): Int16Array;
     new (array: ArrayLike<number> | ArrayBufferLike): Int16Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): Int16Array;
@@ -3241,7 +3241,7 @@ interface Uint16Array {
 }
 
 interface Uint16ArrayConstructor {
-    readonly prototype: Uint16Array;
+    prototype: Uint16Array;
     new (length: number): Uint16Array;
     new (array: ArrayLike<number> | ArrayBufferLike): Uint16Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): Uint16Array;
@@ -3521,7 +3521,7 @@ interface Int32Array {
 }
 
 interface Int32ArrayConstructor {
-    readonly prototype: Int32Array;
+    prototype: Int32Array;
     new (length: number): Int32Array;
     new (array: ArrayLike<number> | ArrayBufferLike): Int32Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): Int32Array;
@@ -3801,7 +3801,7 @@ interface Uint32Array {
 }
 
 interface Uint32ArrayConstructor {
-    readonly prototype: Uint32Array;
+    prototype: Uint32Array;
     new (length: number): Uint32Array;
     new (array: ArrayLike<number> | ArrayBufferLike): Uint32Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): Uint32Array;
@@ -4082,7 +4082,7 @@ interface Float32Array {
 }
 
 interface Float32ArrayConstructor {
-    readonly prototype: Float32Array;
+    prototype: Float32Array;
     new (length: number): Float32Array;
     new (array: ArrayLike<number> | ArrayBufferLike): Float32Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): Float32Array;
@@ -4363,7 +4363,7 @@ interface Float64Array {
 }
 
 interface Float64ArrayConstructor {
-    readonly prototype: Float64Array;
+    prototype: Float64Array;
     new (length: number): Float64Array;
     new (array: ArrayLike<number> | ArrayBufferLike): Float64Array;
     new (buffer: ArrayBufferLike, byteOffset?: number, length?: number): Float64Array;
@@ -4490,7 +4490,7 @@ declare namespace Intl {
         new (locales?: string | string[], options?: NumberFormatOptions): NumberFormat;
         (locales?: string | string[], options?: NumberFormatOptions): NumberFormat;
         supportedLocalesOf(locales: string | string[], options?: NumberFormatOptions): string[];
-        readonly prototype: NumberFormat;
+        prototype: NumberFormat;
     }
 
     var NumberFormat: NumberFormatConstructor;
@@ -4537,7 +4537,7 @@ declare namespace Intl {
         new (locales?: string | string[], options?: DateTimeFormatOptions): DateTimeFormat;
         (locales?: string | string[], options?: DateTimeFormatOptions): DateTimeFormat;
         supportedLocalesOf(locales: string | string[], options?: DateTimeFormatOptions): string[];
-        readonly prototype: DateTimeFormat;
+        prototype: DateTimeFormat;
     }
 
     var DateTimeFormat: DateTimeFormatConstructor;

package/lib/lib.esnext.disposable.d.ts

@@ -46,7 +46,7 @@ interface SuppressedError extends Error {
 interface SuppressedErrorConstructor {
     new (error: any, suppressed: any, message?: string): SuppressedError;
     (error: any, suppressed: any, message?: string): SuppressedError;
-    readonly prototype: SuppressedError;
+    prototype: SuppressedError;
 }
 declare var SuppressedError: SuppressedErrorConstructor;
 
@@ -113,7 +113,7 @@ interface DisposableStack {
 
 interface DisposableStackConstructor {
     new (): DisposableStack;
-    readonly prototype: DisposableStack;
+    prototype: DisposableStack;
 }
 declare var DisposableStack: DisposableStackConstructor;
 
@@ -180,6 +180,6 @@ interface AsyncDisposableStack {
 
 interface AsyncDisposableStackConstructor {
     new (): AsyncDisposableStack;
-    readonly prototype: AsyncDisposableStack;
+    prototype: AsyncDisposableStack;
 }
 declare var AsyncDisposableStack: AsyncDisposableStackConstructor;

package/lib/lib.webworker.d.ts

@@ -508,8 +508,8 @@ interface PushSubscriptionOptionsInit {
 }
 
 interface QueuingStrategy<T = any> {
-    highWaterMark?: number;
-    size?: QueuingStrategySize<T>;
+    readonly highWaterMark?: number;
+    readonly size?: QueuingStrategySize<T>;
 }
 
 interface QueuingStrategyInit {
@@ -518,7 +518,7 @@ interface QueuingStrategyInit {
      *
      * Note that the provided high water mark will not be validated ahead of time. Instead, if it is negative, NaN, or not a number, the resulting ByteLengthQueuingStrategy will cause the corresponding stream constructor to throw.
      */
-    highWaterMark: number;
+    readonly highWaterMark: number;
 }
 
 interface RTCEncodedAudioFrameMetadata {
@@ -1910,9 +1910,9 @@ interface DOMException extends Error {
      */
     readonly code: number;
     /** [MDN Reference](https://developer.mozilla.org/docs/Web/API/DOMException/message) */
-    readonly message: string;
+    message: string;
     /** [MDN Reference](https://developer.mozilla.org/docs/Web/API/DOMException/name) */
-    readonly name: string;
+    name: string;
     readonly INDEX_SIZE_ERR: 1;
     readonly DOMSTRING_SIZE_ERR: 2;
     readonly HIERARCHY_REQUEST_ERR: 3;
@@ -4871,7 +4871,7 @@ interface ReadableStream<R = any> {
 
 declare var ReadableStream: {
     prototype: ReadableStream;
-    new(underlyingSource: UnderlyingByteSource, strategy?: { highWaterMark?: number }): ReadableStream<Uint8Array>;
+    new(underlyingSource: UnderlyingByteSource, strategy?: { readonly highWaterMark?: number }): ReadableStream<Uint8Array>;
     new<R = any>(underlyingSource: UnderlyingDefaultSource<R>, strategy?: QueuingStrategy<R>): ReadableStream<R>;
     new<R = any>(underlyingSource?: UnderlyingSource<R>, strategy?: QueuingStrategy<R>): ReadableStream<R>;
 };

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-insiders.20240422`;
+var version = `${versionMajorMinor}.0-insiders.20240423`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6886,6 +6886,8 @@ var Diagnostics = {
   Compiler_option_0_of_value_1_is_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next: diag(4124, 1 /* Error */, "Compiler_option_0_of_value_1_is_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_w_4124", "Compiler option '{0}' of value '{1}' is unstable. Use nightly TypeScript to silence this error. Try updating with 'npm install -D typescript@next'."),
   Each_declaration_of_0_1_differs_in_its_value_where_2_was_expected_but_3_was_given: diag(4125, 1 /* Error */, "Each_declaration_of_0_1_differs_in_its_value_where_2_was_expected_but_3_was_given_4125", "Each declaration of '{0}.{1}' differs in its value, where '{2}' was expected but '{3}' was given."),
   One_value_of_0_1_is_the_string_2_and_the_other_is_assumed_to_be_an_unknown_numeric_value: diag(4126, 1 /* Error */, "One_value_of_0_1_is_the_string_2_and_the_other_is_assumed_to_be_an_unknown_numeric_value_4126", "One value of '{0}.{1}' is the string '{2}', and the other is assumed to be an unknown numeric value."),
+  Property_0_is_readonly_in_the_source_but_not_in_the_target: diag(4127, 1 /* Error */, "Property_0_is_readonly_in_the_source_but_not_in_the_target_4127", "Property '{0}' is 'readonly' in the source but not in the target."),
+  _0_index_signature_is_readonly_in_the_source_but_not_in_the_target: diag(4128, 1 /* Error */, "_0_index_signature_is_readonly_in_the_source_but_not_in_the_target_4128", "'{0}' index signature is 'readonly' in the source but not in the target."),
   The_current_host_does_not_support_the_0_option: diag(5001, 1 /* Error */, "The_current_host_does_not_support_the_0_option_5001", "The current host does not support the '{0}' option."),
   Cannot_find_the_common_subdirectory_path_for_the_input_files: diag(5009, 1 /* Error */, "Cannot_find_the_common_subdirectory_path_for_the_input_files_5009", "Cannot find the common subdirectory path for the input files."),
   File_specification_cannot_end_in_a_recursive_directory_wildcard_Asterisk_Asterisk_Colon_0: diag(5010, 1 /* Error */, "File_specification_cannot_end_in_a_recursive_directory_wildcard_Asterisk_Asterisk_Colon_0_5010", "File specification cannot end in a recursive directory wildcard ('**'): '{0}'."),
@@ -7455,6 +7457,7 @@ var Diagnostics = {
   Require_undeclared_properties_from_index_signatures_to_use_element_accesses: diag(6717, 3 /* Message */, "Require_undeclared_properties_from_index_signatures_to_use_element_accesses_6717", "Require undeclared properties from index signatures to use element accesses."),
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files: diag(6719, 3 /* Message */, "Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files_6719", "Require sufficient annotation on exports so other tools can trivially generate declaration files."),
+  Ensure_that_readonly_properties_remain_read_only_in_type_relationships: diag(6720, 3 /* Message */, "Ensure_that_readonly_properties_remain_read_only_in_type_relationships_6720", "Ensure that 'readonly' properties remain read-only in type relationships."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
@@ -36213,6 +36216,15 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Enforces_using_indexed_accessors_for_keys_declared_using_an_indexed_type,
     defaultValueDescription: false
   },
+  {
+    name: "enforceReadonly",
+    type: "boolean",
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
+    category: Diagnostics.Type_Checking,
+    description: Diagnostics.Ensure_that_readonly_properties_remain_read_only_in_type_relationships,
+    defaultValueDescription: false
+  },
   // Module Resolution
   {
     name: "moduleResolution",
@@ -45281,6 +45293,7 @@ function createTypeChecker(host) {
   var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
   var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
   var exactOptionalPropertyTypes = compilerOptions.exactOptionalPropertyTypes;
+  var enforceReadonly = compilerOptions.enforceReadonly;
   var checkBinaryExpression = createCheckBinaryExpression();
   var emitResolver = createResolver();
   var nodeBuilder = createNodeBuilder();
@@ -64430,7 +64443,10 @@ function createTypeChecker(host) {
         }
         return 0 /* False */;
       }
-      if (relation === strictSubtypeRelation && isReadonlySymbol(sourceProp) && !isReadonlySymbol(targetProp)) {
+      if ((relation === strictSubtypeRelation || enforceReadonly) && isReadonlySymbol(sourceProp) && !isReadonlySymbol(targetProp) && !(targetProp.flags & 8192 /* Method */)) {
+        if (reportErrors2) {
+          reportError(Diagnostics.Property_0_is_readonly_in_the_source_but_not_in_the_target, symbolToString(targetProp));
+        }
         return 0 /* False */;
       }
       const related = isPropertySymbolTypeRelated(sourceProp, targetProp, getTypeOfSourceProperty, reportErrors2, intersectionState);
@@ -64899,12 +64915,21 @@ function createTypeChecker(host) {
         void 0,
         intersectionState
       );
-      if (!related && reportErrors2) {
-        if (sourceInfo.keyType === targetInfo.keyType) {
-          reportError(Diagnostics._0_index_signatures_are_incompatible, typeToString(sourceInfo.keyType));
-        } else {
-          reportError(Diagnostics._0_and_1_index_signatures_are_incompatible, typeToString(sourceInfo.keyType), typeToString(targetInfo.keyType));
+      if (!related) {
+        if (reportErrors2) {
+          if (sourceInfo.keyType === targetInfo.keyType) {
+            reportError(Diagnostics._0_index_signatures_are_incompatible, typeToString(sourceInfo.keyType));
+          } else {
+            reportError(Diagnostics._0_and_1_index_signatures_are_incompatible, typeToString(sourceInfo.keyType), typeToString(targetInfo.keyType));
+          }
+        }
+        return 0 /* False */;
+      }
+      if (enforceReadonly && sourceInfo.isReadonly && !targetInfo.isReadonly) {
+        if (reportErrors2) {
+          reportError(Diagnostics._0_index_signature_is_readonly_in_the_source_but_not_in_the_target, typeToString(sourceInfo.keyType));
         }
+        return 0 /* False */;
       }
       return related;
     }
@@ -70417,10 +70442,9 @@ function createTypeChecker(host) {
       (t) => {
         var _a;
         if (isGenericMappedType(t) && !t.declaration.nameType) {
-          const constraint = getConstraintTypeFromMappedType(t);
-          const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
+          const constraint = getBaseConstraintOrType(getConstraintTypeFromMappedType(t));
           const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
-          if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
+          if (isTypeAssignableTo(propertyNameType, constraint)) {
             return substituteIndexedMappedType(t, propertyNameType);
           }
         } else if (t.flags & 3670016 /* StructuredType */) {
@@ -70470,23 +70494,17 @@ function createTypeChecker(host) {
         const symbol = getSymbolOfDeclaration(element);
         return getTypeOfPropertyOfContextualType(type, symbol.escapedName, getSymbolLinks(symbol).nameType);
       }
-      if (hasDynamicName(element)) {
-        const name = getNameOfDeclaration(element);
-        if (name && isComputedPropertyName(name)) {
-          const exprType = checkExpression(name.expression);
-          const propType = isTypeUsableAsPropertyName(exprType) && getTypeOfPropertyOfContextualType(type, getPropertyNameFromType(exprType));
-          if (propType) {
-            return propType;
-          }
+      const name = getNameOfDeclaration(element);
+      if (name && isComputedPropertyName(name)) {
+        const exprType = checkExpression(name.expression);
+        if (isTypeUsableAsPropertyName(exprType)) {
+          return getTypeOfPropertyOfContextualType(type, getPropertyNameFromType(exprType), exprType);
         }
-      }
-      if (element.name) {
-        const nameType = getLiteralTypeFromPropertyName(element.name);
         return mapType(
           type,
           (t) => {
             var _a;
-            return (_a = findApplicableIndexInfo(getIndexInfosOfStructuredType(t), nameType)) == null ? void 0 : _a.type;
+            return (_a = findApplicableIndexInfo(getIndexInfosOfStructuredType(t), exprType)) == null ? void 0 : _a.type;
           },
           /*noReductions*/
           true
@@ -70495,6 +70513,20 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
+  function isContextualPropertyMutable(type, name, nameType) {
+    return someType(type, (t) => {
+      const propName = nameType ? isTypeUsableAsPropertyName(nameType) ? getPropertyNameFromType(nameType) : void 0 : name;
+      const prop = propName && getPropertyOfType(t, propName);
+      if (prop) {
+        return !isReadonlySymbol(prop);
+      }
+      const indexInfo = findApplicableIndexInfo(getIndexInfosOfStructuredType(t), nameType || getStringLiteralType(unescapeLeadingUnderscores(name)));
+      if (indexInfo) {
+        return !indexInfo.isReadonly;
+      }
+      return false;
+    });
+  }
   function getSpreadIndices(elements) {
     let first2, last2;
     for (let i = 0; i < elements.length; i++) {
@@ -71286,7 +71318,6 @@ function createTypeChecker(host) {
     );
     const contextualTypeHasPattern = contextualType && contextualType.pattern && (contextualType.pattern.kind === 206 /* ObjectBindingPattern */ || contextualType.pattern.kind === 210 /* ObjectLiteralExpression */);
     const inConstContext = isConstContext(node);
-    const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
     const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
     const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
     const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
@@ -71322,6 +71353,7 @@ function createTypeChecker(host) {
         }
         objectFlags |= getObjectFlags(type) & 458752 /* PropagatingFlags */;
         const nameType = computedNameType && isTypeUsableAsPropertyName(computedNameType) ? computedNameType : void 0;
+        const checkFlags = inConstContext && !(enforceReadonly && contextualType && isContextualPropertyMutable(contextualType, member.escapedName, nameType)) ? 8 /* Readonly */ : 0;
         const prop = nameType ? createSymbol(4 /* Property */ | member.flags, getPropertyNameFromType(nameType), checkFlags | 4096 /* Late */) : createSymbol(4 /* Property */ | member.flags, member.escapedName, checkFlags);
         if (nameType) {
           prop.links.nameType = nameType;
@@ -76993,7 +77025,7 @@ function createTypeChecker(host) {
             parent = parent.parent;
           }
           if (operator === 56 /* AmpersandAmpersandToken */ || isIfStatement(parent)) {
-            checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(node.left, leftType, isIfStatement(parent) ? parent.thenStatement : void 0);
+            checkTestingKnownTruthyCallableOrAwaitableType(node.left, leftType, isIfStatement(parent) ? parent.thenStatement : void 0);
           }
           checkTruthinessOfType(leftType, node.left);
         }
@@ -77551,7 +77583,7 @@ function createTypeChecker(host) {
   }
   function checkConditionalExpression(node, checkMode) {
     const type = checkTruthinessExpression(node.condition, checkMode);
-    checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(node.condition, type, node.whenTrue);
+    checkTestingKnownTruthyCallableOrAwaitableType(node.condition, type, node.whenTrue);
     const type1 = checkExpression(node.whenTrue, checkMode);
     const type2 = checkExpression(node.whenFalse, checkMode);
     return getUnionType([type1, type2], 2 /* Subtype */);
@@ -80599,14 +80631,14 @@ function createTypeChecker(host) {
   function checkIfStatement(node) {
     checkGrammarStatementInAmbientContext(node);
     const type = checkTruthinessExpression(node.expression);
-    checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(node.expression, type, node.thenStatement);
+    checkTestingKnownTruthyCallableOrAwaitableType(node.expression, type, node.thenStatement);
     checkSourceElement(node.thenStatement);
     if (node.thenStatement.kind === 242 /* EmptyStatement */) {
       error(node.thenStatement, Diagnostics.The_body_of_an_if_statement_cannot_be_the_empty_statement);
     }
     checkSourceElement(node.elseStatement);
   }
-  function checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(condExpr, condType, body) {
+  function checkTestingKnownTruthyCallableOrAwaitableType(condExpr, condType, body) {
     if (!strictNullChecks)
       return;
     bothHelper(condExpr, body);
@@ -80628,10 +80660,6 @@ function createTypeChecker(host) {
         return;
       }
       const type = location === condExpr2 ? condType : checkTruthinessExpression(location);
-      if (type.flags & 1024 /* EnumLiteral */ && isPropertyAccessExpression(location) && (getNodeLinks(location.expression).resolvedSymbol ?? unknownSymbol).flags & 384 /* Enum */) {
-        error(location, Diagnostics.This_condition_will_always_return_0, !!type.value ? "true" : "false");
-        return;
-      }
       const isPropertyExpressionCast = isPropertyAccessExpression(location) && isTypeAssertion(location.expression);
       if (!hasTypeFacts(type, 4194304 /* Truthy */) || isPropertyExpressionCast)
         return;

package/lib/typescript.d.ts

@@ -6893,6 +6893,7 @@ declare namespace ts {
         downlevelIteration?: boolean;
         emitBOM?: boolean;
         emitDecoratorMetadata?: boolean;
+        enforceReadonly?: boolean;
         exactOptionalPropertyTypes?: boolean;
         experimentalDecorators?: boolean;
         forceConsistentCasingInFileNames?: boolean;

package/lib/typescript.js

@@ -2360,7 +2360,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-insiders.20240422`;
+var version = `${versionMajorMinor}.0-insiders.20240423`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -10492,6 +10492,8 @@ var Diagnostics = {
   Compiler_option_0_of_value_1_is_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next: diag(4124, 1 /* Error */, "Compiler_option_0_of_value_1_is_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_w_4124", "Compiler option '{0}' of value '{1}' is unstable. Use nightly TypeScript to silence this error. Try updating with 'npm install -D typescript@next'."),
   Each_declaration_of_0_1_differs_in_its_value_where_2_was_expected_but_3_was_given: diag(4125, 1 /* Error */, "Each_declaration_of_0_1_differs_in_its_value_where_2_was_expected_but_3_was_given_4125", "Each declaration of '{0}.{1}' differs in its value, where '{2}' was expected but '{3}' was given."),
   One_value_of_0_1_is_the_string_2_and_the_other_is_assumed_to_be_an_unknown_numeric_value: diag(4126, 1 /* Error */, "One_value_of_0_1_is_the_string_2_and_the_other_is_assumed_to_be_an_unknown_numeric_value_4126", "One value of '{0}.{1}' is the string '{2}', and the other is assumed to be an unknown numeric value."),
+  Property_0_is_readonly_in_the_source_but_not_in_the_target: diag(4127, 1 /* Error */, "Property_0_is_readonly_in_the_source_but_not_in_the_target_4127", "Property '{0}' is 'readonly' in the source but not in the target."),
+  _0_index_signature_is_readonly_in_the_source_but_not_in_the_target: diag(4128, 1 /* Error */, "_0_index_signature_is_readonly_in_the_source_but_not_in_the_target_4128", "'{0}' index signature is 'readonly' in the source but not in the target."),
   The_current_host_does_not_support_the_0_option: diag(5001, 1 /* Error */, "The_current_host_does_not_support_the_0_option_5001", "The current host does not support the '{0}' option."),
   Cannot_find_the_common_subdirectory_path_for_the_input_files: diag(5009, 1 /* Error */, "Cannot_find_the_common_subdirectory_path_for_the_input_files_5009", "Cannot find the common subdirectory path for the input files."),
   File_specification_cannot_end_in_a_recursive_directory_wildcard_Asterisk_Asterisk_Colon_0: diag(5010, 1 /* Error */, "File_specification_cannot_end_in_a_recursive_directory_wildcard_Asterisk_Asterisk_Colon_0_5010", "File specification cannot end in a recursive directory wildcard ('**'): '{0}'."),
@@ -11061,6 +11063,7 @@ var Diagnostics = {
   Require_undeclared_properties_from_index_signatures_to_use_element_accesses: diag(6717, 3 /* Message */, "Require_undeclared_properties_from_index_signatures_to_use_element_accesses_6717", "Require undeclared properties from index signatures to use element accesses."),
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files: diag(6719, 3 /* Message */, "Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files_6719", "Require sufficient annotation on exports so other tools can trivially generate declaration files."),
+  Ensure_that_readonly_properties_remain_read_only_in_type_relationships: diag(6720, 3 /* Message */, "Ensure_that_readonly_properties_remain_read_only_in_type_relationships_6720", "Ensure that 'readonly' properties remain read-only in type relationships."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
@@ -40681,6 +40684,15 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Enforces_using_indexed_accessors_for_keys_declared_using_an_indexed_type,
     defaultValueDescription: false
   },
+  {
+    name: "enforceReadonly",
+    type: "boolean",
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
+    category: Diagnostics.Type_Checking,
+    description: Diagnostics.Ensure_that_readonly_properties_remain_read_only_in_type_relationships,
+    defaultValueDescription: false
+  },
   // Module Resolution
   {
     name: "moduleResolution",
@@ -50105,6 +50117,7 @@ function createTypeChecker(host) {
   var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
   var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
   var exactOptionalPropertyTypes = compilerOptions.exactOptionalPropertyTypes;
+  var enforceReadonly = compilerOptions.enforceReadonly;
   var checkBinaryExpression = createCheckBinaryExpression();
   var emitResolver = createResolver();
   var nodeBuilder = createNodeBuilder();
@@ -69254,7 +69267,10 @@ function createTypeChecker(host) {
         }
         return 0 /* False */;
       }
-      if (relation === strictSubtypeRelation && isReadonlySymbol(sourceProp) && !isReadonlySymbol(targetProp)) {
+      if ((relation === strictSubtypeRelation || enforceReadonly) && isReadonlySymbol(sourceProp) && !isReadonlySymbol(targetProp) && !(targetProp.flags & 8192 /* Method */)) {
+        if (reportErrors2) {
+          reportError(Diagnostics.Property_0_is_readonly_in_the_source_but_not_in_the_target, symbolToString(targetProp));
+        }
         return 0 /* False */;
       }
       const related = isPropertySymbolTypeRelated(sourceProp, targetProp, getTypeOfSourceProperty, reportErrors2, intersectionState);
@@ -69723,12 +69739,21 @@ function createTypeChecker(host) {
         void 0,
         intersectionState
       );
-      if (!related && reportErrors2) {
-        if (sourceInfo.keyType === targetInfo.keyType) {
-          reportError(Diagnostics._0_index_signatures_are_incompatible, typeToString(sourceInfo.keyType));
-        } else {
-          reportError(Diagnostics._0_and_1_index_signatures_are_incompatible, typeToString(sourceInfo.keyType), typeToString(targetInfo.keyType));
+      if (!related) {
+        if (reportErrors2) {
+          if (sourceInfo.keyType === targetInfo.keyType) {
+            reportError(Diagnostics._0_index_signatures_are_incompatible, typeToString(sourceInfo.keyType));
+          } else {
+            reportError(Diagnostics._0_and_1_index_signatures_are_incompatible, typeToString(sourceInfo.keyType), typeToString(targetInfo.keyType));
+          }
+        }
+        return 0 /* False */;
+      }
+      if (enforceReadonly && sourceInfo.isReadonly && !targetInfo.isReadonly) {
+        if (reportErrors2) {
+          reportError(Diagnostics._0_index_signature_is_readonly_in_the_source_but_not_in_the_target, typeToString(sourceInfo.keyType));
         }
+        return 0 /* False */;
       }
       return related;
     }
@@ -75241,10 +75266,9 @@ function createTypeChecker(host) {
       (t) => {
         var _a;
         if (isGenericMappedType(t) && !t.declaration.nameType) {
-          const constraint = getConstraintTypeFromMappedType(t);
-          const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
+          const constraint = getBaseConstraintOrType(getConstraintTypeFromMappedType(t));
           const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
-          if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
+          if (isTypeAssignableTo(propertyNameType, constraint)) {
             return substituteIndexedMappedType(t, propertyNameType);
           }
         } else if (t.flags & 3670016 /* StructuredType */) {
@@ -75294,23 +75318,17 @@ function createTypeChecker(host) {
         const symbol = getSymbolOfDeclaration(element);
         return getTypeOfPropertyOfContextualType(type, symbol.escapedName, getSymbolLinks(symbol).nameType);
       }
-      if (hasDynamicName(element)) {
-        const name = getNameOfDeclaration(element);
-        if (name && isComputedPropertyName(name)) {
-          const exprType = checkExpression(name.expression);
-          const propType = isTypeUsableAsPropertyName(exprType) && getTypeOfPropertyOfContextualType(type, getPropertyNameFromType(exprType));
-          if (propType) {
-            return propType;
-          }
+      const name = getNameOfDeclaration(element);
+      if (name && isComputedPropertyName(name)) {
+        const exprType = checkExpression(name.expression);
+        if (isTypeUsableAsPropertyName(exprType)) {
+          return getTypeOfPropertyOfContextualType(type, getPropertyNameFromType(exprType), exprType);
         }
-      }
-      if (element.name) {
-        const nameType = getLiteralTypeFromPropertyName(element.name);
         return mapType(
           type,
           (t) => {
             var _a;
-            return (_a = findApplicableIndexInfo(getIndexInfosOfStructuredType(t), nameType)) == null ? void 0 : _a.type;
+            return (_a = findApplicableIndexInfo(getIndexInfosOfStructuredType(t), exprType)) == null ? void 0 : _a.type;
           },
           /*noReductions*/
           true
@@ -75319,6 +75337,20 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
+  function isContextualPropertyMutable(type, name, nameType) {
+    return someType(type, (t) => {
+      const propName = nameType ? isTypeUsableAsPropertyName(nameType) ? getPropertyNameFromType(nameType) : void 0 : name;
+      const prop = propName && getPropertyOfType(t, propName);
+      if (prop) {
+        return !isReadonlySymbol(prop);
+      }
+      const indexInfo = findApplicableIndexInfo(getIndexInfosOfStructuredType(t), nameType || getStringLiteralType(unescapeLeadingUnderscores(name)));
+      if (indexInfo) {
+        return !indexInfo.isReadonly;
+      }
+      return false;
+    });
+  }
   function getSpreadIndices(elements) {
     let first2, last2;
     for (let i = 0; i < elements.length; i++) {
@@ -76110,7 +76142,6 @@ function createTypeChecker(host) {
     );
     const contextualTypeHasPattern = contextualType && contextualType.pattern && (contextualType.pattern.kind === 206 /* ObjectBindingPattern */ || contextualType.pattern.kind === 210 /* ObjectLiteralExpression */);
     const inConstContext = isConstContext(node);
-    const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
     const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
     const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
     const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
@@ -76146,6 +76177,7 @@ function createTypeChecker(host) {
         }
         objectFlags |= getObjectFlags(type) & 458752 /* PropagatingFlags */;
         const nameType = computedNameType && isTypeUsableAsPropertyName(computedNameType) ? computedNameType : void 0;
+        const checkFlags = inConstContext && !(enforceReadonly && contextualType && isContextualPropertyMutable(contextualType, member.escapedName, nameType)) ? 8 /* Readonly */ : 0;
         const prop = nameType ? createSymbol(4 /* Property */ | member.flags, getPropertyNameFromType(nameType), checkFlags | 4096 /* Late */) : createSymbol(4 /* Property */ | member.flags, member.escapedName, checkFlags);
         if (nameType) {
           prop.links.nameType = nameType;
@@ -81817,7 +81849,7 @@ function createTypeChecker(host) {
             parent2 = parent2.parent;
           }
           if (operator === 56 /* AmpersandAmpersandToken */ || isIfStatement(parent2)) {
-            checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(node.left, leftType, isIfStatement(parent2) ? parent2.thenStatement : void 0);
+            checkTestingKnownTruthyCallableOrAwaitableType(node.left, leftType, isIfStatement(parent2) ? parent2.thenStatement : void 0);
           }
           checkTruthinessOfType(leftType, node.left);
         }
@@ -82375,7 +82407,7 @@ function createTypeChecker(host) {
   }
   function checkConditionalExpression(node, checkMode) {
     const type = checkTruthinessExpression(node.condition, checkMode);
-    checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(node.condition, type, node.whenTrue);
+    checkTestingKnownTruthyCallableOrAwaitableType(node.condition, type, node.whenTrue);
     const type1 = checkExpression(node.whenTrue, checkMode);
     const type2 = checkExpression(node.whenFalse, checkMode);
     return getUnionType([type1, type2], 2 /* Subtype */);
@@ -85423,14 +85455,14 @@ function createTypeChecker(host) {
   function checkIfStatement(node) {
     checkGrammarStatementInAmbientContext(node);
     const type = checkTruthinessExpression(node.expression);
-    checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(node.expression, type, node.thenStatement);
+    checkTestingKnownTruthyCallableOrAwaitableType(node.expression, type, node.thenStatement);
     checkSourceElement(node.thenStatement);
     if (node.thenStatement.kind === 242 /* EmptyStatement */) {
       error2(node.thenStatement, Diagnostics.The_body_of_an_if_statement_cannot_be_the_empty_statement);
     }
     checkSourceElement(node.elseStatement);
   }
-  function checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(condExpr, condType, body) {
+  function checkTestingKnownTruthyCallableOrAwaitableType(condExpr, condType, body) {
     if (!strictNullChecks)
       return;
     bothHelper(condExpr, body);
@@ -85452,10 +85484,6 @@ function createTypeChecker(host) {
         return;
       }
       const type = location === condExpr2 ? condType : checkTruthinessExpression(location);
-      if (type.flags & 1024 /* EnumLiteral */ && isPropertyAccessExpression(location) && (getNodeLinks(location.expression).resolvedSymbol ?? unknownSymbol).flags & 384 /* Enum */) {
-        error2(location, Diagnostics.This_condition_will_always_return_0, !!type.value ? "true" : "false");
-        return;
-      }
       const isPropertyExpressionCast = isPropertyAccessExpression(location) && isTypeAssertion(location.expression);
       if (!hasTypeFacts(type, 4194304 /* Truthy */) || isPropertyExpressionCast)
         return;

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.5.0-pr-58264-13",
+  "version": "5.5.0-pr-58296-8",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [