Warn FS3888 when consumer-visible attributes are missing from .fsi#19880

Open

T-Gro wants to merge 65 commits into

mainfrom

fix/issue-19560

Commits on Jun 2, 2026

Add failing tests for signature-enforced attributes (issue #19560)

Copilot
and
Copilot
committed
Enforce signature presence of compiler-semantic attributes from impl (issue #19560)

Copilot
and
Copilot
committed
Mirror NoDynamicInvocation into FSharp.Core .fsi files (issue #19560)

Copilot
and
Copilot
committed
Polish: fantomas, release notes, surface-area baselines for issue #19560

Copilot
and
Copilot
committed
Add PR link to release notes for #19560

Copilot
and
Copilot
committed
Fix FSComp.txt error-code sort order for 3888 (issue #19560)

Copilot
and
Copilot
committed
Add FSharp.Core release notes for #19560

Copilot
and
Copilot
committed

Commits on Jun 4, 2026

Convert signature-enforced attribute check to warning, expand mask, O(1) happy path (issue #19560)

T-Gro
and
Copilot
committed

Commits on Jun 5, 2026

Commits on Jun 6, 2026

Commits on Jun 8, 2026

Commits on Jun 9, 2026