@tsonic/dotnet 10.0.39 → 10.0.41

package/System.Diagnostics.CodeAnalysis/internal/index.d.ts

@@ -2,8 +2,9 @@
 // Namespace: System.Diagnostics.CodeAnalysis
 // Assembly: System.Private.CoreLib
 
-// Primitive type aliases from @tsonic/core
-import type { sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
+// Core type aliases from @tsonic/core
+import type { JsValue, fnptr, ptr, sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
+
 
 // Import types from other namespaces
 import * as System_Internal from "../../System/internal/index.js";
@@ -59,10 +60,10 @@ export type AllowNullAttribute = AllowNullAttribute$instance;
 export interface ConstantExpectedAttribute$instance extends Attribute {
     readonly __tsonic_type_System_Diagnostics_CodeAnalysis_ConstantExpectedAttribute: never;
 
-    get Max(): unknown | undefined;
-    set Max(value: unknown | undefined);
-    get Min(): unknown | undefined;
-    set Min(value: unknown | undefined);
+    get Max(): JsValue | null;
+    set Max(value: JsValue | null);
+    get Min(): JsValue | null;
+    set Min(value: JsValue | null);
 }
 
 
@@ -130,13 +131,13 @@ export type DynamicallyAccessedMembersAttribute = DynamicallyAccessedMembersAttr
 export interface DynamicDependencyAttribute$instance extends Attribute {
     readonly __tsonic_type_System_Diagnostics_CodeAnalysis_DynamicDependencyAttribute: never;
 
-    readonly AssemblyName: string | undefined;
-    get Condition(): string | undefined;
-    set Condition(value: string | undefined);
-    readonly MemberSignature: string | undefined;
+    readonly AssemblyName: string | null;
+    get Condition(): string | null;
+    set Condition(value: string | null);
+    readonly MemberSignature: string | null;
     readonly MemberTypes: DynamicallyAccessedMemberTypes;
-    readonly Type: Type | undefined;
-    readonly TypeName: string | undefined;
+    readonly Type: Type | null;
+    readonly TypeName: string | null;
 }
 
 
@@ -154,8 +155,8 @@ export type DynamicDependencyAttribute = DynamicDependencyAttribute$instance;
 export interface ExcludeFromCodeCoverageAttribute$instance extends Attribute {
     readonly __tsonic_type_System_Diagnostics_CodeAnalysis_ExcludeFromCodeCoverageAttribute: never;
 
-    get Justification(): string | undefined;
-    set Justification(value: string | undefined);
+    get Justification(): string | null;
+    set Justification(value: string | null);
 }
 
 
@@ -170,10 +171,10 @@ export interface ExperimentalAttribute$instance extends Attribute {
     readonly __tsonic_type_System_Diagnostics_CodeAnalysis_ExperimentalAttribute: never;
 
     readonly DiagnosticId: string;
-    get Message(): string | undefined;
-    set Message(value: string | undefined);
-    get UrlFormat(): string | undefined;
-    set UrlFormat(value: string | undefined);
+    get Message(): string | null;
+    set Message(value: string | null);
+    get UrlFormat(): string | null;
+    set UrlFormat(value: string | null);
 }
 
 
@@ -314,9 +315,9 @@ export type NotNullWhenAttribute = NotNullWhenAttribute$instance;
 export interface RequiresAssemblyFilesAttribute$instance extends Attribute {
     readonly __tsonic_type_System_Diagnostics_CodeAnalysis_RequiresAssemblyFilesAttribute: never;
 
-    readonly Message: string | undefined;
-    get Url(): string | undefined;
-    set Url(value: string | undefined);
+    readonly Message: string | null;
+    get Url(): string | null;
+    set Url(value: string | null);
 }
 
 
@@ -333,8 +334,8 @@ export interface RequiresDynamicCodeAttribute$instance extends Attribute {
 
     ExcludeStatics: boolean;
     readonly Message: string;
-    get Url(): string | undefined;
-    set Url(value: string | undefined);
+    get Url(): string | null;
+    set Url(value: string | null);
 }
 
 
@@ -350,8 +351,8 @@ export interface RequiresUnreferencedCodeAttribute$instance extends Attribute {
 
     ExcludeStatics: boolean;
     readonly Message: string;
-    get Url(): string | undefined;
-    set Url(value: string | undefined);
+    get Url(): string | null;
+    set Url(value: string | null);
 }
 
 
@@ -378,14 +379,14 @@ export type SetsRequiredMembersAttribute = SetsRequiredMembersAttribute$instance
 export interface StringSyntaxAttribute$instance extends Attribute {
     readonly __tsonic_type_System_Diagnostics_CodeAnalysis_StringSyntaxAttribute: never;
 
-    readonly Arguments: (unknown | undefined)[];
+    readonly Arguments: (JsValue | null)[];
     readonly Syntax: string;
 }
 
 
 export const StringSyntaxAttribute: {
     new(syntax: string): StringSyntaxAttribute;
-    new(syntax: string, arguments: unknown[]): StringSyntaxAttribute;
+    new(syntax: string, arguments: (JsValue | null)[]): StringSyntaxAttribute;
     readonly CompositeFormat: string;
     readonly DateOnlyFormat: string;
     readonly DateTimeFormat: string;
@@ -408,14 +409,14 @@ export interface SuppressMessageAttribute$instance extends Attribute {
 
     readonly Category: string;
     readonly CheckId: string;
-    get Justification(): string | undefined;
-    set Justification(value: string | undefined);
-    get MessageId(): string | undefined;
-    set MessageId(value: string | undefined);
-    get Scope(): string | undefined;
-    set Scope(value: string | undefined);
-    get Target(): string | undefined;
-    set Target(value: string | undefined);
+    get Justification(): string | null;
+    set Justification(value: string | null);
+    get MessageId(): string | null;
+    set MessageId(value: string | null);
+    get Scope(): string | null;
+    set Scope(value: string | null);
+    get Target(): string | null;
+    set Target(value: string | null);
 }
 
 
@@ -431,14 +432,14 @@ export interface UnconditionalSuppressMessageAttribute$instance extends Attribut
 
     readonly Category: string;
     readonly CheckId: string;
-    get Justification(): string | undefined;
-    set Justification(value: string | undefined);
-    get MessageId(): string | undefined;
-    set MessageId(value: string | undefined);
-    get Scope(): string | undefined;
-    set Scope(value: string | undefined);
-    get Target(): string | undefined;
-    set Target(value: string | undefined);
+    get Justification(): string | null;
+    set Justification(value: string | null);
+    get MessageId(): string | null;
+    set MessageId(value: string | null);
+    get Scope(): string | null;
+    set Scope(value: string | null);
+    get Target(): string | null;
+    set Target(value: string | null);
 }
 
 

package/System.Diagnostics.Contracts/internal/index.d.ts

@@ -2,11 +2,9 @@
 // Namespace: System.Diagnostics.Contracts
 // Assembly: System.Private.CoreLib
 
-// Primitive type aliases from @tsonic/core
-import type { sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
+// Core type aliases from @tsonic/core
+import type { JsValue, fnptr, ptr, sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
 
-// Import support types from @tsonic/core
-import type { ptr } from "@tsonic/core/types.js";
 
 // Import types from other namespaces
 import type { IEnumerable_1 } from "../../System.Collections.Generic/internal/index.js";
@@ -86,16 +84,16 @@ export interface ContractException$instance extends Exception {
 
     readonly __tsonic_iface_System_Runtime_Serialization_ISerializable: never;
 
-    readonly Condition: string | undefined;
+    readonly Condition: string | null;
     readonly Failure: string;
     readonly Kind: ContractFailureKind;
-    readonly UserMessage: string | undefined;
+    readonly UserMessage: string | null;
     GetObjectData(info: SerializationInfo, context: StreamingContext): void;
 }
 
 
 export const ContractException: {
-    new(kind: ContractFailureKind, failure: string, userMessage: string, condition: string, innerException: Exception): ContractException;
+    new(kind: ContractFailureKind, failure: string | null, userMessage: string | null, condition: string | null, innerException: Exception | null): ContractException;
 };
 
 
@@ -109,11 +107,11 @@ export type ContractException = ContractException$instance & __ContractException
 export interface ContractFailedEventArgs$instance extends EventArgs {
     readonly __tsonic_type_System_Diagnostics_Contracts_ContractFailedEventArgs: never;
 
-    readonly Condition: string | undefined;
+    readonly Condition: string | null;
     readonly FailureKind: ContractFailureKind;
     readonly Handled: boolean;
-    readonly Message: string | undefined;
-    readonly OriginalException: Exception | undefined;
+    readonly Message: string | null;
+    readonly OriginalException: Exception | null;
     readonly Unwind: boolean;
     SetHandled(): void;
     SetUnwind(): void;
@@ -121,7 +119,7 @@ export interface ContractFailedEventArgs$instance extends EventArgs {
 
 
 export const ContractFailedEventArgs: {
-    new(failureKind: ContractFailureKind, message: string, condition: string, originalException: Exception): ContractFailedEventArgs;
+    new(failureKind: ContractFailureKind, message: string | null, condition: string | null, originalException: Exception | null): ContractFailedEventArgs;
 };
 
 
@@ -146,7 +144,7 @@ export interface ContractOptionAttribute$instance extends Attribute {
     readonly Category: string;
     readonly Enabled: boolean;
     readonly Setting: string;
-    readonly Value: string | undefined;
+    readonly Value: string | null;
 }
 
 
@@ -226,23 +224,23 @@ export const PureAttribute: {
 export type PureAttribute = PureAttribute$instance;
 
 export abstract class Contract$instance {
-    static Assert(condition: boolean, userMessage: string): void;
+    static Assert(condition: boolean, userMessage: string | null): void;
     static Assert(condition: boolean): void;
-    static Assume(condition: boolean, userMessage: string): void;
+    static Assume(condition: boolean, userMessage: string | null): void;
     static Assume(condition: boolean): void;
     static EndContractBlock(): void;
-    static Ensures(condition: boolean, userMessage: string): void;
+    static Ensures(condition: boolean, userMessage: string | null): void;
     static Ensures(condition: boolean): void;
-    static EnsuresOnThrow<TException extends Exception>(condition: boolean, userMessage: string): void;
+    static EnsuresOnThrow<TException extends Exception>(condition: boolean, userMessage: string | null): void;
     static EnsuresOnThrow<TException extends Exception>(condition: boolean): void;
     static Exists<T>(collection: IEnumerable_1<T>, predicate: Predicate_1<T>): boolean;
     static Exists(fromInclusive: int, toExclusive: int, predicate: Predicate_1<System_Internal.Int32>): boolean;
     static ForAll<T>(collection: IEnumerable_1<T>, predicate: Predicate_1<T>): boolean;
     static ForAll(fromInclusive: int, toExclusive: int, predicate: Predicate_1<System_Internal.Int32>): boolean;
-    static Invariant(condition: boolean, userMessage: string): void;
+    static Invariant(condition: boolean, userMessage: string | null): void;
     static Invariant(condition: boolean): void;
     static OldValue<T>(value: T): T;
-    static Requires(condition: boolean, userMessage: string): void;
+    static Requires(condition: boolean, userMessage: string | null): void;
     static Requires(condition: boolean): void;
     static Result<T>(): T;
     static ValueAtReturn<T>(value: T): T;

package/System.Diagnostics.Metrics/internal/index.d.ts

@@ -2,11 +2,9 @@
 // Namespace: System.Diagnostics.Metrics
 // Assembly: System.Diagnostics.DiagnosticSource
 
-// Primitive type aliases from @tsonic/core
-import type { sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
+// Core type aliases from @tsonic/core
+import type { JsValue, fnptr, ptr, sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/core/types.js';
 
-// Import support types from @tsonic/core
-import type { ptr } from "@tsonic/core/types.js";
 
 // Import types from other namespaces
 import type { IEnumerable_1, IReadOnlyList_1, KeyValuePair_2 } from "../../System.Collections.Generic/internal/index.js";
@@ -17,7 +15,7 @@ import type { ISerializable, SerializationInfo, StreamingContext } from "../../S
 import * as System_Internal from "../../System/internal/index.js";
 import type { Action_2, AsyncCallback, Boolean as ClrBoolean, Delegate, Func_1, IAsyncResult, ICloneable, IDisposable, Int32, IntPtr, MulticastDelegate, Object as ClrObject, ReadOnlySpan_1, String as ClrString, Type, ValueType, Void } from "../../System/internal/index.js";
 
-export type MeasurementCallback_1<T extends unknown> = (instrument: Instrument, measurement: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, unknown>>, state: unknown) => void;
+export type MeasurementCallback_1<T extends NonNullable<JsValue>> = (instrument: Instrument, measurement: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, JsValue>>, state: JsValue | null) => void;
 
 
 export interface IMeterFactory$instance extends IDisposable {
@@ -32,34 +30,34 @@ export interface IMeterFactory$instance extends System_Internal.IDisposable$inst
 
 export type IMeterFactory = IMeterFactory$instance;
 
-export interface Measurement_1$instance<T extends unknown> {
+export interface Measurement_1$instance<T extends NonNullable<JsValue>> {
     readonly __tsonic_type_System_Diagnostics_Metrics_Measurement_1: never;
 
-    readonly Tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, unknown>>;
+    readonly Tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, JsValue>>;
     readonly Value: T;
 }
 
 
 export const Measurement_1: {
-    new<T extends unknown>(value: T): Measurement_1<T>;
-    new<T extends unknown>(value: T, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>): Measurement_1<T>;
-    new<T extends unknown>(value: T, tags: KeyValuePair_2<System_Internal.String, unknown>[]): Measurement_1<T>;
-    new<T extends unknown>(value: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, unknown>>): Measurement_1<T>;
-    new<T extends unknown>(value: T, tags: TagList): Measurement_1<T>;
+    new<T extends NonNullable<JsValue>>(value: T): Measurement_1<T>;
+    new<T extends NonNullable<JsValue>>(value: T, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null): Measurement_1<T>;
+    new<T extends NonNullable<JsValue>>(value: T, tags: KeyValuePair_2<System_Internal.String, JsValue>[] | null): Measurement_1<T>;
+    new<T extends NonNullable<JsValue>>(value: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, JsValue>>): Measurement_1<T>;
+    new<T extends NonNullable<JsValue>>(value: T, tags: TagList): Measurement_1<T>;
 };
 
 
 export type Measurement_1<T> = Measurement_1$instance<T>;
 
-export interface Counter_1$instance<T extends unknown> extends Instrument_1<T> {
+export interface Counter_1$instance<T extends NonNullable<JsValue>> extends Instrument_1<T> {
     readonly __tsonic_type_System_Diagnostics_Metrics_Counter_1: never;
 
     Add(delta: T): void;
-    Add(delta: T, tag: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Add(delta: T, tag1: KeyValuePair_2<System_Internal.String, unknown>, tag2: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Add(delta: T, tag1: KeyValuePair_2<System_Internal.String, unknown>, tag2: KeyValuePair_2<System_Internal.String, unknown>, tag3: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Add(delta: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, unknown>>): void;
-    Add(delta: T, ...tags: KeyValuePair_2<System_Internal.String, unknown>[]): void;
+    Add(delta: T, tag: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Add(delta: T, tag1: KeyValuePair_2<System_Internal.String, JsValue>, tag2: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Add(delta: T, tag1: KeyValuePair_2<System_Internal.String, JsValue>, tag2: KeyValuePair_2<System_Internal.String, JsValue>, tag3: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Add(delta: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, JsValue>>): void;
+    Add(delta: T, ...tags: KeyValuePair_2<System_Internal.String, JsValue>[]): void;
     Add(delta: T, tagList: TagList): void;
 }
 
@@ -70,15 +68,15 @@ export const Counter_1: {
 
 export type Counter_1<T> = Counter_1$instance<T>;
 
-export interface Gauge_1$instance<T extends unknown> extends Instrument_1<T> {
+export interface Gauge_1$instance<T extends NonNullable<JsValue>> extends Instrument_1<T> {
     readonly __tsonic_type_System_Diagnostics_Metrics_Gauge_1: never;
 
     Record(value: T): void;
-    Record(value: T, tag: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Record(value: T, tag1: KeyValuePair_2<System_Internal.String, unknown>, tag2: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Record(value: T, tag1: KeyValuePair_2<System_Internal.String, unknown>, tag2: KeyValuePair_2<System_Internal.String, unknown>, tag3: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Record(value: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, unknown>>): void;
-    Record(value: T, ...tags: KeyValuePair_2<System_Internal.String, unknown>[]): void;
+    Record(value: T, tag: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Record(value: T, tag1: KeyValuePair_2<System_Internal.String, JsValue>, tag2: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Record(value: T, tag1: KeyValuePair_2<System_Internal.String, JsValue>, tag2: KeyValuePair_2<System_Internal.String, JsValue>, tag3: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Record(value: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, JsValue>>): void;
+    Record(value: T, ...tags: KeyValuePair_2<System_Internal.String, JsValue>[]): void;
     Record(value: T, tagList: TagList): void;
 }
 
@@ -89,15 +87,15 @@ export const Gauge_1: {
 
 export type Gauge_1<T> = Gauge_1$instance<T>;
 
-export interface Histogram_1$instance<T extends unknown> extends Instrument_1<T> {
+export interface Histogram_1$instance<T extends NonNullable<JsValue>> extends Instrument_1<T> {
     readonly __tsonic_type_System_Diagnostics_Metrics_Histogram_1: never;
 
     Record(value: T): void;
-    Record(value: T, tag: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Record(value: T, tag1: KeyValuePair_2<System_Internal.String, unknown>, tag2: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Record(value: T, tag1: KeyValuePair_2<System_Internal.String, unknown>, tag2: KeyValuePair_2<System_Internal.String, unknown>, tag3: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Record(value: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, unknown>>): void;
-    Record(value: T, ...tags: KeyValuePair_2<System_Internal.String, unknown>[]): void;
+    Record(value: T, tag: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Record(value: T, tag1: KeyValuePair_2<System_Internal.String, JsValue>, tag2: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Record(value: T, tag1: KeyValuePair_2<System_Internal.String, JsValue>, tag2: KeyValuePair_2<System_Internal.String, JsValue>, tag3: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Record(value: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, JsValue>>): void;
+    Record(value: T, ...tags: KeyValuePair_2<System_Internal.String, JsValue>[]): void;
     Record(value: T, tagList: TagList): void;
 }
 
@@ -111,45 +109,45 @@ export type Histogram_1<T> = Histogram_1$instance<T>;
 export interface Instrument$instance {
     readonly __tsonic_type_System_Diagnostics_Metrics_Instrument: never;
 
-    readonly Description: string | undefined;
+    readonly Description: string | null;
     readonly Enabled: boolean;
     readonly IsObservable: boolean;
     readonly Meter: Meter;
     readonly Name: string;
-    readonly Tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>> | undefined;
-    readonly Unit: string | undefined;
+    readonly Tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null;
+    readonly Unit: string | null;
 }
 
 
-export const Instrument: (abstract new(meter: Meter, name: string) => Instrument) & (abstract new(meter: Meter, name: string, unit: string, description: string) => Instrument) & (abstract new(meter: Meter, name: string, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>) => Instrument) & {
+export const Instrument: (abstract new(meter: Meter, name: string) => Instrument) & (abstract new(meter: Meter, name: string, unit: string | null, description: string | null) => Instrument) & (abstract new(meter: Meter, name: string, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null) => Instrument) & {
 };
 
 
 export type Instrument = Instrument$instance;
 
-export interface Instrument_1$instance<T extends unknown> extends Instrument {
+export interface Instrument_1$instance<T extends NonNullable<JsValue>> extends Instrument {
     readonly __tsonic_type_System_Diagnostics_Metrics_Instrument_1: never;
 
-    readonly Advice: InstrumentAdvice_1<T> | undefined;
+    readonly Advice: InstrumentAdvice_1<T> | null;
 }
 
 
-export const Instrument_1: (abstract new<T extends unknown>(meter: Meter, name: string) => Instrument_1<T>) & (abstract new<T extends unknown>(meter: Meter, name: string, unit: string, description: string) => Instrument_1<T>) & (abstract new<T extends unknown>(meter: Meter, name: string, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>) => Instrument_1<T>) & (abstract new<T extends unknown>(meter: Meter, name: string, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>, advice: InstrumentAdvice_1<T>) => Instrument_1<T>) & {
+export const Instrument_1: (abstract new<T extends NonNullable<JsValue>>(meter: Meter, name: string) => Instrument_1<T>) & (abstract new<T extends NonNullable<JsValue>>(meter: Meter, name: string, unit: string | null, description: string | null) => Instrument_1<T>) & (abstract new<T extends NonNullable<JsValue>>(meter: Meter, name: string, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null) => Instrument_1<T>) & (abstract new<T extends NonNullable<JsValue>>(meter: Meter, name: string, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null, advice: InstrumentAdvice_1<T> | null) => Instrument_1<T>) & {
 };
 
 
 export type Instrument_1<T> = Instrument_1$instance<T>;
 
-export interface InstrumentAdvice_1$instance<T extends unknown> {
+export interface InstrumentAdvice_1$instance<T extends NonNullable<JsValue>> {
     readonly __tsonic_type_System_Diagnostics_Metrics_InstrumentAdvice_1: never;
 
-    get HistogramBucketBoundaries(): IReadOnlyList_1<T> | undefined;
-    set HistogramBucketBoundaries(value: IReadOnlyList_1<T> | undefined);
+    get HistogramBucketBoundaries(): IReadOnlyList_1<T> | null;
+    set HistogramBucketBoundaries(value: IReadOnlyList_1<T> | null);
 }
 
 
 export const InstrumentAdvice_1: {
-    new<T extends unknown>(): InstrumentAdvice_1<T>;
+    new<T extends NonNullable<JsValue>>(): InstrumentAdvice_1<T>;
 };
 
 
@@ -161,30 +159,30 @@ export interface Meter$instance {
     readonly __tsonic_iface_System_IDisposable: never;
 
     Name: string;
-    get Scope(): unknown | undefined;
-    set Scope(value: unknown | undefined);
-    get Tags(): IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>> | undefined;
-    set Tags(value: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>> | undefined);
-    get TelemetrySchemaUrl(): string | undefined;
-    set TelemetrySchemaUrl(value: string | undefined);
-    get Version(): string | undefined;
-    set Version(value: string | undefined);
-    CreateCounter<T extends unknown>(name: string, unit?: string, description?: string): Counter_1<T>;
-    CreateCounter<T extends unknown>(name: string, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>): Counter_1<T>;
-    CreateGauge<T extends unknown>(name: string): Gauge_1<T>;
-    CreateGauge<T extends unknown>(name: string, unit?: string, description?: string, tags?: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>): Gauge_1<T>;
-    CreateHistogram<T extends unknown>(name: string): Histogram_1<T>;
-    CreateHistogram<T extends unknown>(name: string, unit: string, description: string): Histogram_1<T>;
-    CreateHistogram<T extends unknown>(name: string, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>): Histogram_1<T>;
-    CreateHistogram<T extends unknown>(name: string, unit?: string, description?: string, tags?: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>, advice?: InstrumentAdvice_1<T>): Histogram_1<T>;
-    CreateObservableCounter<T extends unknown>(name: string, observeValue: Func_1<T>, unit?: string, description?: string): ObservableCounter_1<T>;
-    CreateObservableCounter<T extends unknown>(name: string, observeValue: Func_1<T>, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>): ObservableCounter_1<T>;
-    CreateObservableGauge<T extends unknown>(name: string, observeValue: Func_1<T>, unit?: string, description?: string): ObservableGauge_1<T>;
-    CreateObservableGauge<T extends unknown>(name: string, observeValue: Func_1<T>, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>): ObservableGauge_1<T>;
-    CreateObservableUpDownCounter<T extends unknown>(name: string, observeValue: Func_1<T>, unit?: string, description?: string): ObservableUpDownCounter_1<T>;
-    CreateObservableUpDownCounter<T extends unknown>(name: string, observeValue: Func_1<T>, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>): ObservableUpDownCounter_1<T>;
-    CreateUpDownCounter<T extends unknown>(name: string, unit?: string, description?: string): UpDownCounter_1<T>;
-    CreateUpDownCounter<T extends unknown>(name: string, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>): UpDownCounter_1<T>;
+    get Scope(): JsValue | null;
+    set Scope(value: JsValue | null);
+    get Tags(): IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null;
+    set Tags(value: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null);
+    get TelemetrySchemaUrl(): string | null;
+    set TelemetrySchemaUrl(value: string | null);
+    get Version(): string | null;
+    set Version(value: string | null);
+    CreateCounter<T extends NonNullable<JsValue>>(name: string, unit?: string | null, description?: string | null): Counter_1<T>;
+    CreateCounter<T extends NonNullable<JsValue>>(name: string, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null): Counter_1<T>;
+    CreateGauge<T extends NonNullable<JsValue>>(name: string): Gauge_1<T>;
+    CreateGauge<T extends NonNullable<JsValue>>(name: string, unit?: string | null, description?: string | null, tags?: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null): Gauge_1<T>;
+    CreateHistogram<T extends NonNullable<JsValue>>(name: string): Histogram_1<T>;
+    CreateHistogram<T extends NonNullable<JsValue>>(name: string, unit: string | null, description: string | null): Histogram_1<T>;
+    CreateHistogram<T extends NonNullable<JsValue>>(name: string, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null): Histogram_1<T>;
+    CreateHistogram<T extends NonNullable<JsValue>>(name: string, unit?: string | null, description?: string | null, tags?: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null, advice?: InstrumentAdvice_1<T> | null): Histogram_1<T>;
+    CreateObservableCounter<T extends NonNullable<JsValue>>(name: string, observeValue: Func_1<T>, unit?: string | null, description?: string | null): ObservableCounter_1<T>;
+    CreateObservableCounter<T extends NonNullable<JsValue>>(name: string, observeValue: Func_1<T>, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null): ObservableCounter_1<T>;
+    CreateObservableGauge<T extends NonNullable<JsValue>>(name: string, observeValue: Func_1<T>, unit?: string | null, description?: string | null): ObservableGauge_1<T>;
+    CreateObservableGauge<T extends NonNullable<JsValue>>(name: string, observeValue: Func_1<T>, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null): ObservableGauge_1<T>;
+    CreateObservableUpDownCounter<T extends NonNullable<JsValue>>(name: string, observeValue: Func_1<T>, unit?: string | null, description?: string | null): ObservableUpDownCounter_1<T>;
+    CreateObservableUpDownCounter<T extends NonNullable<JsValue>>(name: string, observeValue: Func_1<T>, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null): ObservableUpDownCounter_1<T>;
+    CreateUpDownCounter<T extends NonNullable<JsValue>>(name: string, unit?: string | null, description?: string | null): UpDownCounter_1<T>;
+    CreateUpDownCounter<T extends NonNullable<JsValue>>(name: string, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null): UpDownCounter_1<T>;
     Dispose(): void;
     Dispose(disposing: boolean): void;
 }
@@ -193,8 +191,8 @@ export interface Meter$instance {
 export const Meter: {
     new(options: MeterOptions): Meter;
     new(name: string): Meter;
-    new(name: string, version: string): Meter;
-    new(name: string, version: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>, scope: unknown): Meter;
+    new(name: string, version: string | null): Meter;
+    new(name: string, version: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null, scope: JsValue | null): Meter;
 };
 
 
@@ -210,15 +208,15 @@ export interface MeterListener$instance extends System_Internal.IDisposable$inst
 
     readonly __tsonic_iface_System_IDisposable: never;
 
-    get InstrumentPublished(): Action_2<Instrument, MeterListener> | undefined;
-    set InstrumentPublished(value: Action_2<Instrument, MeterListener> | undefined);
-    get MeasurementsCompleted(): Action_2<Instrument, unknown | undefined> | undefined;
-    set MeasurementsCompleted(value: Action_2<Instrument, unknown | undefined> | undefined);
-    DisableMeasurementEvents(instrument: Instrument): unknown | undefined;
+    get InstrumentPublished(): Action_2<Instrument, MeterListener> | null;
+    set InstrumentPublished(value: Action_2<Instrument, MeterListener> | null);
+    get MeasurementsCompleted(): Action_2<Instrument, JsValue | null> | null;
+    set MeasurementsCompleted(value: Action_2<Instrument, JsValue | null> | null);
+    DisableMeasurementEvents(instrument: Instrument): JsValue | null;
     Dispose(): void;
-    EnableMeasurementEvents(instrument: Instrument, state?: unknown): void;
+    EnableMeasurementEvents(instrument: Instrument, state?: JsValue | null): void;
     RecordObservableInstruments(): void;
-    SetMeasurementEventCallback<T extends unknown>(measurementCallback: MeasurementCallback_1<T>): void;
+    SetMeasurementEventCallback<T extends NonNullable<JsValue>>(measurementCallback: MeasurementCallback_1<T> | null): void;
     Start(): void;
 }
 
@@ -239,14 +237,14 @@ export interface MeterOptions$instance {
     readonly __tsonic_type_System_Diagnostics_Metrics_MeterOptions: never;
 
     Name: string;
-    get Scope(): unknown | undefined;
-    set Scope(value: unknown | undefined);
-    get Tags(): IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>> | undefined;
-    set Tags(value: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>> | undefined);
-    get TelemetrySchemaUrl(): string | undefined;
-    set TelemetrySchemaUrl(value: string | undefined);
-    get Version(): string | undefined;
-    set Version(value: string | undefined);
+    get Scope(): JsValue | null;
+    set Scope(value: JsValue | null);
+    get Tags(): IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null;
+    set Tags(value: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null);
+    get TelemetrySchemaUrl(): string | null;
+    set TelemetrySchemaUrl(value: string | null);
+    get Version(): string | null;
+    set Version(value: string | null);
 }
 
 
@@ -257,7 +255,7 @@ export const MeterOptions: {
 
 export type MeterOptions = MeterOptions$instance;
 
-export interface ObservableCounter_1$instance<T extends unknown> extends ObservableInstrument_1<T> {
+export interface ObservableCounter_1$instance<T extends NonNullable<JsValue>> extends ObservableInstrument_1<T> {
     readonly __tsonic_type_System_Diagnostics_Metrics_ObservableCounter_1: never;
 
     Observe(): IEnumerable_1<Measurement_1<T>>;
@@ -270,7 +268,7 @@ export const ObservableCounter_1: {
 
 export type ObservableCounter_1<T> = ObservableCounter_1$instance<T>;
 
-export interface ObservableGauge_1$instance<T extends unknown> extends ObservableInstrument_1<T> {
+export interface ObservableGauge_1$instance<T extends NonNullable<JsValue>> extends ObservableInstrument_1<T> {
     readonly __tsonic_type_System_Diagnostics_Metrics_ObservableGauge_1: never;
 
     Observe(): IEnumerable_1<Measurement_1<T>>;
@@ -283,7 +281,7 @@ export const ObservableGauge_1: {
 
 export type ObservableGauge_1<T> = ObservableGauge_1$instance<T>;
 
-export interface ObservableInstrument_1$instance<T extends unknown> extends Instrument {
+export interface ObservableInstrument_1$instance<T extends NonNullable<JsValue>> extends Instrument {
     readonly __tsonic_type_System_Diagnostics_Metrics_ObservableInstrument_1: never;
 
     readonly IsObservable: boolean;
@@ -291,13 +289,13 @@ export interface ObservableInstrument_1$instance<T extends unknown> extends Inst
 }
 
 
-export const ObservableInstrument_1: (abstract new<T extends unknown>(meter: Meter, name: string, unit: string, description: string) => ObservableInstrument_1<T>) & (abstract new<T extends unknown>(meter: Meter, name: string, unit: string, description: string, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>) => ObservableInstrument_1<T>) & {
+export const ObservableInstrument_1: (abstract new<T extends NonNullable<JsValue>>(meter: Meter, name: string, unit: string | null, description: string | null) => ObservableInstrument_1<T>) & (abstract new<T extends NonNullable<JsValue>>(meter: Meter, name: string, unit: string | null, description: string | null, tags: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null) => ObservableInstrument_1<T>) & {
 };
 
 
 export type ObservableInstrument_1<T> = ObservableInstrument_1$instance<T>;
 
-export interface ObservableUpDownCounter_1$instance<T extends unknown> extends ObservableInstrument_1<T> {
+export interface ObservableUpDownCounter_1$instance<T extends NonNullable<JsValue>> extends ObservableInstrument_1<T> {
     readonly __tsonic_type_System_Diagnostics_Metrics_ObservableUpDownCounter_1: never;
 
     Observe(): IEnumerable_1<Measurement_1<T>>;
@@ -310,15 +308,15 @@ export const ObservableUpDownCounter_1: {
 
 export type ObservableUpDownCounter_1<T> = ObservableUpDownCounter_1$instance<T>;
 
-export interface UpDownCounter_1$instance<T extends unknown> extends Instrument_1<T> {
+export interface UpDownCounter_1$instance<T extends NonNullable<JsValue>> extends Instrument_1<T> {
     readonly __tsonic_type_System_Diagnostics_Metrics_UpDownCounter_1: never;
 
     Add(delta: T): void;
-    Add(delta: T, tag: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Add(delta: T, tag1: KeyValuePair_2<System_Internal.String, unknown>, tag2: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Add(delta: T, tag1: KeyValuePair_2<System_Internal.String, unknown>, tag2: KeyValuePair_2<System_Internal.String, unknown>, tag3: KeyValuePair_2<System_Internal.String, unknown>): void;
-    Add(delta: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, unknown>>): void;
-    Add(delta: T, ...tags: KeyValuePair_2<System_Internal.String, unknown>[]): void;
+    Add(delta: T, tag: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Add(delta: T, tag1: KeyValuePair_2<System_Internal.String, JsValue>, tag2: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Add(delta: T, tag1: KeyValuePair_2<System_Internal.String, JsValue>, tag2: KeyValuePair_2<System_Internal.String, JsValue>, tag3: KeyValuePair_2<System_Internal.String, JsValue>): void;
+    Add(delta: T, tags: ReadOnlySpan_1<KeyValuePair_2<System_Internal.String, JsValue>>): void;
+    Add(delta: T, ...tags: KeyValuePair_2<System_Internal.String, JsValue>[]): void;
     Add(delta: T, tagList: TagList): void;
 }
 
@@ -330,7 +328,7 @@ export const UpDownCounter_1: {
 export type UpDownCounter_1<T> = UpDownCounter_1$instance<T>;
 
 export abstract class MeterFactoryExtensions$instance {
-    static Create(meterFactory: IMeterFactory, name: string, version?: string, tags?: IEnumerable_1<KeyValuePair_2<System_Internal.String, unknown>>): Meter;
+    static Create(meterFactory: IMeterFactory, name: string, version?: string | null, tags?: IEnumerable_1<KeyValuePair_2<System_Internal.String, JsValue>> | null): Meter;
 }
 
 

package/System.Diagnostics.Metrics.d.ts

@@ -41,7 +41,7 @@ export type Instrument<
   T1 = __,
 > =
   [T1] extends [__] ? Internal.Instrument :
-  [T1] extends [unknown] ? Internal.Instrument_1<T1> : never;
+  [T1] extends [NonNullable<JsValue>] ? Internal.Instrument_1<T1> : never;
 
 // Extension methods (C# using semantics)
 export type { ExtensionMethods_System_Diagnostics_Metrics as ExtensionMethods } from './__internal/extensions/index.js';