Merge main to release/dev17.12#17469

Merged

vzarytovskii merged 3 commits intorelease/dev17.12from

merges/main-to-release/dev17.12

Aug 5, 2024

Commits on Jul 30, 2024

C# protected property can be assigned in a F# inherit constructor call (#17391)

edgarfgp
and
psfinaki
authored

Commits on Jul 31, 2024

Fixes #17447 -MethodAccessException on equality comparison of a record with private fields (#17467)
KevinRansom
authored
Merge branch 'release/dev17.12' into merges/main-to-release/dev17.12
vzarytovskii
authored