Add regression test: #12796, DefaultValue null on array type record field#19472

Open

T-Gro wants to merge 7 commits intomainfrom

regression-test/issue12796

Commits on Apr 10, 2026

Add regression test for #12796: DefaultValue null on array type record field

T-Gro
and
Copilot
committed
Use actual repro from issue #12796: [<DefaultValue([||] : A[])>]

authored and
T-Gro
committed
Use typecheck instead of compile for issue 12796 regression test

authored and
T-Gro
committed
Fix CI: skip issue 12796 test on Desktop .NET Framework

T-Gro
and
Copilot
committed
Fix #12796: proper diagnostic for invalid custom attribute array element types

T-Gro
and
Copilot
committed
Fix CI: apply fantomas formatting to IlxGen.fs

T-Gro
and
Copilot
committed
Add release notes for #12796 fix

T-Gro
and
Copilot
committed