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

Merged

T-Gro merged 70 commits into

mainfrom

fix/issue-19560

Jun 12, 2026

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

Commits on Jun 11, 2026

Fix CI: format EraseUnions.fs + add FSharp.Core release note

Copilot
and
Copilot
committed
Merge remote-tracking branch 'origin/main' into fix/issue-19560
Copilot
committed
Retry CI: FSharp.Core determinism failure is flaky (passed in builds 1458262, 1457817)

Copilot
and
Copilot
committed

Commits on Jun 12, 2026