[mono][AOT] gsharedvt - stop validating generic constraints

[pavelsavara]

• stop validating generic constraints for classes created for AOT wrappers
• new field MonoClass->skip_generic_constraints
• active issue [wasm][AOT] null function or function signature mismatch - #119143

Fixes #117557

[pavelsavara]

/azp run runtime-wasm

[azure-pipelines]

Azure Pipelines successfully started running 1 pipeline(s).

[pavelsavara]

This could enable wrappers with arguments like

public partial struct Nullable<T> where T : struct
public struct ValueTuple<T1> : IEquatable<ValueTuple<T1>>, IStructuralEquatable, IStructuralComparable, IComparable, IComparable<ValueTuple<T1>>, IValueTupleInternal, ITuple
struct AddOperator<T> : IAggregationOperator<T> where T : IAdditionOperators<T, T, T>, IAdditiveIdentity<T, T>
struct WeakGCHandle<T> : System.IDisposable, System.IEquatable<System.Runtime.InteropServices.WeakGCHandle<T>> where T : class?

Quick list of types with constraints

Would that break anything ? Would that make AOT binary (much) bigger ? Would that make TensorPrimitives faster ?

[pavelsavara]

/azp run runtime-wasm

[azure-pipelines]

Azure Pipelines successfully started running 1 pipeline(s).

[pavelsavara]

/azp run runtime-wasm

[azure-pipelines]

Azure Pipelines successfully started running 1 pipeline(s).

[pavelsavara]

/azp run runtime-wasm

[azure-pipelines]

Azure Pipelines successfully started running 1 pipeline(s).

[pavelsavara]

json fail is actually independent issue #119143 which also fails on main

[pavelsavara]

/azp run runtime-wasm

[azure-pipelines]

Azure Pipelines successfully started running 1 pipeline(s).

[Copilot]

Pull Request Overview

This PR adds a mechanism to skip generic constraint validation for MonoClass instances created during Ahead-of-Time (AOT) compilation wrapper generation. The change resolves issues where wrapper classes fail constraint validation even though they don't need to comply with generic constraints in the AOT context.

Key changes:

• Adds a new skip_generic_constraints field to MonoClass to mark classes that should bypass generic constraint validation
• Implements conditional constraint checking in class initialization and field layout routines
• Includes test configuration updates to address browser platform limitations

Reviewed Changes

Copilot reviewed 8 out of 8 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
src/mono/mono/metadata/class-private-definition.h	Adds skip_generic_constraints field to MonoClass structure
src/mono/mono/metadata/class-internals.h	Declares new mono_class_skip_generic_constraints function
src/mono/mono/metadata/class-accessors.c	Implements the mono_class_skip_generic_constraints function with thread-safe field setting
src/mono/mono/metadata/class-init.c	Adds conditional constraint checking based on the new field in class initialization and field layout
src/mono/mono/mini/mini-generic-sharing.c	Calls the new function to mark wrapper classes as constraint-exempt and updates function comment
src/libraries/System.Text.Json/tests/System.Text.Json.Tests/System.Text.Json.Tests.csproj	Enables test progress reporting for browser targets
src/libraries/System.Text.Json/tests/System.Text.Json.Tests/ILLink.Descriptors.xml	Adds assembly references for Collections.Immutable and Collections.NonGeneric
src/libraries/System.Text.Json/tests/Common/NumberHandlingTests.cs	Disables Int128/UInt128/Half tests on browser platform due to known issue

[pavelsavara]

/azp run runtime-wasm

[azure-pipelines]

Azure Pipelines successfully started running 1 pipeline(s).

[pavelsavara]

/azp run runtime-wasm

[azure-pipelines]

Azure Pipelines successfully started running 1 pipeline(s).