@tsonic/dotnet 0.7.4 → 0.7.7

package/System.Diagnostics/internal/metadata.json

@@ -1367,7 +1367,17 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 4,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 2,
+              "modifier": "out"
+            },
+            {
+              "index": 3,
+              "modifier": "out"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.DistributedContextPropagator\u002BPropagatorGetterCallback::BeginInvoke(System.Object,System.String,System.String\u0026,System.Collections.Generic.IEnumerable_1[[System.String,System.Private.CoreLib,Version=10.0.0.0,Culture=neutral,PublicKeyToken=7cec85d7bea7798e]]\u0026,System.AsyncCallback,System.Object):System.IAsyncResult",
@@ -1383,7 +1393,17 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 6,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 2,
+              "modifier": "out"
+            },
+            {
+              "index": 3,
+              "modifier": "out"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.DistributedContextPropagator\u002BPropagatorGetterCallback::EndInvoke(System.String\u0026,System.Collections.Generic.IEnumerable_1[[System.String,System.Private.CoreLib,Version=10.0.0.0,Culture=neutral,PublicKeyToken=7cec85d7bea7798e]]\u0026,System.IAsyncResult):System.Void",
@@ -1399,7 +1419,17 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 3,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 0,
+              "modifier": "out"
+            },
+            {
+              "index": 1,
+              "modifier": "out"
+            }
+          ]
         }
       ],
       "properties": [],
@@ -1509,7 +1539,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 3,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 2,
+              "modifier": "ref"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.ExceptionRecorder::BeginInvoke(System.Diagnostics.Activity,System.Exception,System.Diagnostics.TagList\u0026,System.AsyncCallback,System.Object):System.IAsyncResult",
@@ -1525,7 +1561,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 5,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 2,
+              "modifier": "ref"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.ExceptionRecorder::EndInvoke(System.Diagnostics.TagList\u0026,System.IAsyncResult):System.Void",
@@ -1541,7 +1583,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 2,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 0,
+              "modifier": "ref"
+            }
+          ]
         }
       ],
       "properties": [],
@@ -1580,7 +1628,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 1,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 0,
+              "modifier": "ref"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.SampleActivity\u00601::BeginInvoke(ActivityCreationOptions_1\u0026,System.AsyncCallback,System.Object):System.IAsyncResult",
@@ -1596,7 +1650,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 3,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 0,
+              "modifier": "ref"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.SampleActivity\u00601::EndInvoke(ActivityCreationOptions_1\u0026,System.IAsyncResult):System.Diagnostics.ActivitySamplingResult",
@@ -1612,7 +1672,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 2,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 0,
+              "modifier": "ref"
+            }
+          ]
         }
       ],
       "properties": [],
@@ -1763,7 +1829,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 4,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 3,
+              "modifier": "out"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.ActivityContext::TryParse(System.String,System.String,System.Diagnostics.ActivityContext\u0026):System.Boolean",
@@ -1779,7 +1851,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 3,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 2,
+              "modifier": "out"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.ActivityContext::Parse(System.String,System.String):System.Diagnostics.ActivityContext",
@@ -3041,7 +3119,13 @@
         {
           "normalizedSignature": "constructor|(System.Int32,System.Int32,System.Boolean,System.Boolean\u0026):void|static=false",
           "isStatic": false,
-          "parameterCount": 4
+          "parameterCount": 4,
+          "parameterModifiers": [
+            {
+              "index": 3,
+              "modifier": "out"
+            }
+          ]
         }
       ]
     },
@@ -3224,7 +3308,13 @@
         {
           "normalizedSignature": "constructor|(System.Int32,System.Int32,System.Boolean,System.Boolean\u0026):void|static=false",
           "isStatic": false,
-          "parameterCount": 4
+          "parameterCount": 4,
+          "parameterModifiers": [
+            {
+              "index": 3,
+              "modifier": "out"
+            }
+          ]
         }
       ]
     },
@@ -4023,7 +4113,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 3,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "in"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.Activity::AddLink(System.Diagnostics.ActivityLink):System.Diagnostics.Activity",
@@ -5426,7 +5522,13 @@
           "isSealed": true,
           "arity": 0,
           "parameterCount": 2,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "out"
+            }
+          ]
         },
         {
           "stableId": "System.Private.CoreLib:System.Collections.Generic.IDictionary\u00602::ContainsKey(TKey):System.Boolean",
@@ -5477,7 +5579,13 @@
           "arity": 0,
           "parameterCount": 2,
           "sourceInterface": "System.Collections.Generic.IDictionary\u00602",
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "out"
+            }
+          ]
         },
         {
           "stableId": "System.Private.CoreLib:System.Collections.Generic.ICollection\u00601::Add(T):System.Void",
@@ -7707,7 +7815,17 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 4,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 2,
+              "modifier": "out"
+            },
+            {
+              "index": 3,
+              "modifier": "out"
+            }
+          ]
         },
         {
           "stableId": "System.Diagnostics.DiagnosticSource:System.Diagnostics.DistributedContextPropagator::ExtractBaggage(System.Object,System.Diagnostics.DistributedContextPropagator\u002BPropagatorGetterCallback):System.Collections.Generic.IEnumerable_1[[System.Collections.Generic.KeyValuePair_2[[System.String,System.Private.CoreLib,Version=10.0.0.0,Culture=neutral,PublicKeyToken=7cec85d7bea7798e],[System.String,System.Private.CoreLib,Version=10.0.0.0,Culture=neutral,PublicKeyToken=7cec85d7bea7798e]],System.Private.CoreLib,Version=10.0.0.0,Culture=neutral,PublicKeyToken=7cec85d7bea7798e]]",
@@ -15066,7 +15184,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 2,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "ref"
+            }
+          ]
         },
         {
           "stableId": "System.Private.CoreLib:System.Diagnostics.Debug::Assert(System.Boolean,System.String,System.String):System.Void",
@@ -15098,7 +15222,17 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 3,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "ref"
+            },
+            {
+              "index": 2,
+              "modifier": "ref"
+            }
+          ]
         },
         {
           "stableId": "System.Private.CoreLib:System.Diagnostics.Debug::Assert(System.Boolean,System.String,System.String,System.Object[]):System.Void",
@@ -15322,7 +15456,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 2,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "ref"
+            }
+          ]
         },
         {
           "stableId": "System.Private.CoreLib:System.Diagnostics.Debug::WriteIf(System.Boolean,System.Object):System.Void",
@@ -15370,7 +15510,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 3,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "ref"
+            }
+          ]
         },
         {
           "stableId": "System.Private.CoreLib:System.Diagnostics.Debug::WriteIf(System.Boolean,System.Object,System.String):System.Void",
@@ -15450,7 +15596,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 2,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "ref"
+            }
+          ]
         },
         {
           "stableId": "System.Private.CoreLib:System.Diagnostics.Debug::WriteLineIf(System.Boolean,System.String,System.String):System.Void",
@@ -15482,7 +15634,13 @@
           "isSealed": false,
           "arity": 0,
           "parameterCount": 3,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "ref"
+            }
+          ]
         }
       ],
       "properties": [

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

@@ -9,31 +9,6 @@ import type { sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint12
 import * as System_Internal from "../../System/internal/index.js";
 import type { Attribute, Boolean as ClrBoolean, Enum, IComparable, IConvertible, IFormatProvider, IFormattable, Int32, ISpanFormattable, Object as ClrObject, String as ClrString, Type, TypeCode } from "../../System/internal/index.js";
 
-// CLROf<T> - Maps ergonomic primitives to their CLR types for generic constraints
-// This utility is used ONLY in generic type arguments to satisfy CLR interface constraints
-// Value positions (parameters, return types) use lowercase primitives for ergonomics
-export type CLROf<T> =
-    T extends sbyte ? System_Internal.SByte :
-    T extends short ? System_Internal.Int16 :
-    T extends int ? System_Internal.Int32 :
-    T extends long ? System_Internal.Int64 :
-    T extends int128 ? System_Internal.Int128 :
-    T extends nint ? System_Internal.IntPtr :
-    T extends byte ? System_Internal.Byte :
-    T extends ushort ? System_Internal.UInt16 :
-    T extends uint ? System_Internal.UInt32 :
-    T extends ulong ? System_Internal.UInt64 :
-    T extends uint128 ? System_Internal.UInt128 :
-    T extends nuint ? System_Internal.UIntPtr :
-    T extends half ? System_Internal.Half :
-    T extends float ? System_Internal.Single :
-    T extends double ? System_Internal.Double :
-    T extends decimal ? System_Internal.Decimal :
-    T extends char ? System_Internal.Char :
-    T extends boolean ? System_Internal.Boolean :
-    T extends string ? System_Internal.String :
-    T; // Identity fallback for non-primitive types
-
 export enum DynamicallyAccessedMemberTypes {
     none = 0,
     publicParameterlessConstructor = 1,

package/System.Diagnostics.Contracts/bindings.json

@@ -3888,7 +3888,13 @@
           "parameterCount": 1,
           "declaringClrType": "System.Diagnostics.Contracts.Contract",
           "declaringAssemblyName": "System.Private.CoreLib",
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 0,
+              "modifier": "out"
+            }
+          ]
         },
         {
           "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::OldValue(T):T",

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

@@ -6,7 +6,7 @@
 import type { sbyte, byte, short, ushort, int, uint, long, ulong, int128, uint128, half, float, double, decimal, nint, nuint, char } from '@tsonic/types';
 
 // Import support types from @tsonic/types
-import type { ptr, ref } from "@tsonic/types";
+import type { ptr } from "@tsonic/types";
 
 // Import types from other namespaces
 import type { IEnumerable_1 } from "../../System.Collections.Generic/internal/index.js";
@@ -17,31 +17,6 @@ import type { ISerializable, SerializationInfo, StreamingContext } from "../../S
 import * as System_Internal from "../../System/internal/index.js";
 import type { Attribute, Boolean as ClrBoolean, Enum, EventArgs, EventHandler_1, Exception, IComparable, IConvertible, IFormatProvider, IFormattable, Int32, ISpanFormattable, Object as ClrObject, Predicate_1, String as ClrString, Type, TypeCode, Void } from "../../System/internal/index.js";
 
-// CLROf<T> - Maps ergonomic primitives to their CLR types for generic constraints
-// This utility is used ONLY in generic type arguments to satisfy CLR interface constraints
-// Value positions (parameters, return types) use lowercase primitives for ergonomics
-export type CLROf<T> =
-    T extends sbyte ? System_Internal.SByte :
-    T extends short ? System_Internal.Int16 :
-    T extends int ? System_Internal.Int32 :
-    T extends long ? System_Internal.Int64 :
-    T extends int128 ? System_Internal.Int128 :
-    T extends nint ? System_Internal.IntPtr :
-    T extends byte ? System_Internal.Byte :
-    T extends ushort ? System_Internal.UInt16 :
-    T extends uint ? System_Internal.UInt32 :
-    T extends ulong ? System_Internal.UInt64 :
-    T extends uint128 ? System_Internal.UInt128 :
-    T extends nuint ? System_Internal.UIntPtr :
-    T extends half ? System_Internal.Half :
-    T extends float ? System_Internal.Single :
-    T extends double ? System_Internal.Double :
-    T extends decimal ? System_Internal.Decimal :
-    T extends char ? System_Internal.Char :
-    T extends boolean ? System_Internal.Boolean :
-    T extends string ? System_Internal.String :
-    T; // Identity fallback for non-primitive types
-
 export enum ContractFailureKind {
     precondition = 0,
     postcondition = 1,
@@ -233,16 +208,16 @@ export abstract class Contract$instance {
     static ensuresOnThrow<TException extends Exception>(condition: boolean, userMessage: string): 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<CLROf<int>>): 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<CLROf<int>>): 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): void;
     static oldValue<T>(value: T): T;
     static requires(condition: boolean, userMessage: string): void;
     static requires(condition: boolean): void;
     static result<T>(): T;
-    static valueAtReturn<T>(value: { value: ref<T> }): T;
+    static valueAtReturn<T>(value: T): T;
 }
 
 

package/System.Diagnostics.Contracts/internal/metadata.json

@@ -920,7 +920,13 @@
           "isSealed": false,
           "arity": 1,
           "parameterCount": 1,
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 0,
+              "modifier": "out"
+            }
+          ]
         },
         {
           "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::OldValue(T):T",

package/System.Diagnostics.Metrics/bindings.json

@@ -503,7 +503,13 @@
           "isStatic": false,
           "parameterCount": 2,
           "declaringClrType": "System.Diagnostics.Metrics.Measurement\u00601",
-          "declaringAssemblyName": "System.Diagnostics.DiagnosticSource"
+          "declaringAssemblyName": "System.Diagnostics.DiagnosticSource",
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "in"
+            }
+          ]
         }
       ],
       "exposedMethods": [
@@ -741,7 +747,13 @@
           "parameterCount": 2,
           "declaringClrType": "System.Diagnostics.Metrics.Counter\u00601",
           "declaringAssemblyName": "System.Diagnostics.DiagnosticSource",
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "in"
+            }
+          ]
         }
       ],
       "properties": [],
@@ -1066,7 +1078,13 @@
           "parameterCount": 2,
           "declaringClrType": "System.Diagnostics.Metrics.Gauge\u00601",
           "declaringAssemblyName": "System.Diagnostics.DiagnosticSource",
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "in"
+            }
+          ]
         }
       ],
       "properties": [],
@@ -1391,7 +1409,13 @@
           "parameterCount": 2,
           "declaringClrType": "System.Diagnostics.Metrics.Histogram\u00601",
           "declaringAssemblyName": "System.Diagnostics.DiagnosticSource",
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "in"
+            }
+          ]
         }
       ],
       "properties": [],
@@ -4098,7 +4122,13 @@
           "parameterCount": 2,
           "declaringClrType": "System.Diagnostics.Metrics.UpDownCounter\u00601",
           "declaringAssemblyName": "System.Diagnostics.DiagnosticSource",
-          "isExtensionMethod": false
+          "isExtensionMethod": false,
+          "parameterModifiers": [
+            {
+              "index": 1,
+              "modifier": "in"
+            }
+          ]
         }
       ],
       "properties": [],