[release/dev17.4] F# 7 fixes#14322

Merged

vzarytovskii merged 8 commits intorelease/dev17.4from

backport/pr-14294-to-release/dev17.4

Nov 21, 2022

Commits on Nov 15, 2022

WIP: Fix for calling init-only setter via srtp call + allow calling special-named functions via srtp

vzarytovskii
authored and
github-actions
committed
Fix

vzarytovskii
authored and
github-actions
committed
Fixed tests

vzarytovskii
authored and
github-actions
committed
Fixed tests

vzarytovskii
authored and
github-actions
committed
Fixed tests

vzarytovskii
authored and
github-actions
committed

Commits on Nov 21, 2022