Support OverloadResolutionPriority and a most-concrete tiebreaker - #19277

Open

T-Gro wants to merge 139 commits into

mainfrom

feature/tiebreakers

Commits on Jan 18, 2026

Add DSL for overload resolution tiebreaker rules
T-Gro
committed
14cdb2b
Implement compareTypeConcreteness function for RFC tiebreakers
T-Gro
committed
eed6225
Integrate 'more concrete' tiebreaker into better() function
T-Gro
committed
bff8e96
Add test infrastructure for Tiebreakers conformance tests
T-Gro
committed
3b3ffef
Add RFC example tests 1-4 for Most Concrete tiebreaker
T-Gro
committed
e1e2385
Add multiple type parameter tests (Examples 5-6)
T-Gro
committed
73e1ff1
Add real-world scenario tests for Examples 7-9
T-Gro
committed
7e4a950
Add tests for Examples 10-12: Optional and ParamArray interactions
T-Gro
committed
627020d
Add extension method tests for RFC FS-XXXX tiebreaker
T-Gro
committed
1b17909
Add byref and Span tests for RFC tiebreaker
T-Gro
committed
706b211
Add constraint and TDC interaction tests
T-Gro
committed
0f3bf2a
Add orthogonal test scenarios for tiebreaker feature
T-Gro
committed
75e3e2b

Commits on Jan 19, 2026

Commits on Jan 20, 2026

Commits on Jan 21, 2026

Add explainIncomparableConcreteness API for enhanced FS0041 diagnostics
T-Gro
committed
bb24c00
Integrate enhanced FS0041 error message for incomparable concreteness
T-Gro
committed
6ad81e7
Sprint 2: Verify error info extension complete (already done in Sprint 1)
T-Gro
committed
b629c8c
Sprint 3: Verify enhanced FS0041 message formatting
T-Gro
committed
bd52440
Sprint 4: Verify enhanced FS0041 diagnostic test
T-Gro
committed
53ed498
Better explanations
T-Gro
committed
37db094
Implement constraint count comparison for type variables (RFC Example 15)
T-Gro
committed
6954e89
Update documentation: Example 15 now implemented
T-Gro
committed
ed35225
Implement FS3576 diagnostic for bypassed generic overloads
T-Gro
committed
31c511c
Fix constraint-based overload tests to expect FS0438
T-Gro
committed
96bfbb4
Update release note placeholders with clear TBD markers
T-Gro
committed
42b17ad
Fix SRTP regression in MoreConcrete tiebreaker rule
T-Gro
committed
3e95280
Add RFC quality assessment for FS-XXXX Most Concrete tiebreaker
T-Gro
committed
a164742
Update RFC diagnostic messages to match FSComp.txt exactly
T-Gro
committed
0fd35ee
Verify RFC claims vs implementation
T-Gro
committed
bccd0d9

Commits on Jan 22, 2026

change rules from strings to ordered and strongly typed enums
T-Gro
committed
a9c69a0
doc changes, cleanups
T-Gro
committed
ff753d1
Add LanguageFeature.OverloadResolutionPriority for F# 10.0
T-Gro
committed
1ec2bab
Add GetOverloadResolutionPriority() method to MethInfo
T-Gro
committed
f6d90ee
Add OverloadResolutionPriorityAttribute tests for RFC FS-XXXX
T-Gro
committed
891e216
Fix ORP tests to run as baseline tests (not skipped)
T-Gro
committed
23139d4
Sprint 1: Add ORP tests with inline C# library
T-Gro
committed
9974608
Sprint 1: Fix ORP tests - remove Skip, document current behavior
T-Gro
committed
9cb2a22
Sprint 1: Add ORP tests with inline C# library
T-Gro
committed
07a094c
Sprint 2: Implement ORP pre-filter in ConstraintSolver.fs
T-Gro
committed
f02f714
Sprint 2: Add release notes for OverloadResolutionPriority support
T-Gro
committed
73da94c
Sprint 3: Add 12 ORP edge case tests
T-Gro
committed
497dbb9
Add FS3590 diagnostic for OverloadResolutionPriority
T-Gro
committed
652d1e8

Commits on Jan 23, 2026

Move MoreConcreteTiebreaker and OverloadResolutionPriority to preview
T-Gro
committed
9163e4f
Add RequiredFeature to TiebreakRule type
T-Gro
committed
ccec98e
Add LangVersion Latest Tests for feature gating verification
T-Gro
committed
9946c65
Release notes: Document langversion=preview requirement for MoreConcrete and ORP
T-Gro
committed
996b998
cleanup
T-Gro
committed
ad34329
code cleanups
T-Gro
committed
5777753

Commits on Feb 11, 2026

Commits on Feb 12, 2026

Commits on Feb 13, 2026

Commits on Mar 10, 2026

Merge main into feature/tiebreakers: resolve conflicts

T-Gro
and
Copilot
committed
549c03e

Commits on Mar 13, 2026

Merge remote-tracking branch 'origin/main' into feature/tiebreakers
T-Gro
committed
1c0fd93
Add release notes for overload resolution tiebreakers

T-Gro
and
Copilot
committed
cfdb985

Commits on Mar 17, 2026

Merge remote-tracking branch 'origin/main' into feature/tiebreakers
T-Gro
committed
d776e7f
Merge origin/main into feature/tiebreakers: resolve attribute caching conflicts

T-Gro
and
Copilot
committed
deb773a
Add WellKnownAttribs O(1) attribute caching and CI test infrastructure improvements

T-Gro
and
Copilot
committed
f0b3632

Commits on Mar 18, 2026

Merge origin/main: resolve conflicts and fix formatting

T-Gro
and
Copilot
committed
71435cc

Commits on Mar 23, 2026

Merge remote-tracking branch 'origin/main' into feature/tiebreakers
T-Gro
committed
279c58e

Commits on Mar 24, 2026

Merge remote-tracking branch 'origin/main' into feature/tiebreakers
T-Gro
committed
125e076

Commits on Apr 10, 2026

Merge remote-tracking branch 'origin/main' into feature/tiebreakers
T-Gro
committed
fbd5a9b

Commits on Apr 14, 2026

Merge remote-tracking branch 'origin/main' into feature/tiebreakers

T-Gro
and
Copilot
committed
affb518

Commits on May 12, 2026

Merge remote-tracking branch 'origin/main' into feature/tiebreakers
T-Gro
committed
9119f69

Commits on Jul 9, 2026

Merge remote-tracking branch 'origin/main' into feature/tiebreakers
Copilot
committed
291d6a0

Commits on Jul 24, 2026

test: add C#-parity ORPA discriminators (red) for H1/H5/H6

T-Gro
and
Copilot
committed
d3d13f4
test: replace unreachable H6 ambiguity test with observable cross-class winner (red)

T-Gro
and
Copilot
committed
76ad88b
fix: scope ORPA priority by declaring type, not extended type (H6)

T-Gro
and
Copilot
committed
cafd30e
test: add naked-generic-receiver cross-class ORPA discriminator; inline group-key

T-Gro
and
Copilot
committed
c2efc87
docs: correct H7 discriminator comments to match empirical grouping

T-Gro
and
Copilot
committed
2daed9f
fix: apply ORPA among applicable members before betterness (H1)

T-Gro
and
Copilot
committed
609a92c
refactor: apply Gate 3V findings (List.memq, tighter comment, 3 guard tests)

T-Gro
and
Copilot
committed
59993b1
docs: tighten Gate 3V comments (compactness reviewer)

T-Gro
and
Copilot
committed
9007334
fix: gate ORPA/concreteness diagnostics behind their language features (H3)

T-Gro
and
Copilot
committed
b4ad265
fix: FS3575/3576 render distinct signatures; localize FS0041 concreteness detail (H2/H9/A1)

T-Gro
and
Copilot
committed
2e78cd4
test: most-concrete tiebreaker for ctors & generic-type members (red) + guards (a)

T-Gro
and
Copilot
committed
529bd18
feat: most-concrete tiebreaker applies to ctors & generic-type members (a)

T-Gro
and
Copilot
committed
efddebf
test: edge-case matrix + differential no-regression gate for most-concrete (a)

T-Gro
and
Copilot
committed
bdcedeb
fix: order most-concrete tiebreak last; Gate 6V reuse/compactness/test-plan

T-Gro
and
Copilot
committed
e6f2b67

Commits on Jul 25, 2026

Commits on Jul 26, 2026

fix: gate net472-incompatible ORPA test + fold rubber-duck review findings

T-Gro
and
Copilot
committed
c6f2e73

Commits on Aug 3, 2026

Merge branch 'main' into feature/tiebreakers

T-Gro
and
Copilot
committed
9e2b820
Add OverloadResolutionRules + test Compile entries missed in merge staging

T-Gro
and
Copilot
committed
12c7943
Fix inverted candidate attribution in FS0041 concreteness detail

T-Gro
and
Copilot
committed
90e38ec
Fix conflated FS0041 concreteness positions for multi-parameter overloads

T-Gro
and
Copilot
committed
3af953e
Promote overload-resolution RFCs to publishable FS-1340 / FS-1338

T-Gro
and
Copilot
committed
011e7d2

Commits on Aug 4, 2026

Compact overload-resolution RFCs to terse expert register

T-Gro
and
Copilot
committed
77358b7
Revise overload-resolution RFCs for voice and close two spec gaps

T-Gro
and
Copilot
committed
542b3ed
Apply voice/compactness/clarity audit findings to both RFCs

T-Gro
and
Copilot
committed
0ae999e
Move RFC docs to fslang-design

T-Gro
and
Copilot
committed
73fc1dd
Restore accidentally-removed release-notes entries

T-Gro
and
Copilot
committed
33ec5da
Adopt WellKnownAttribs cache for OverloadResolutionPriority

T-Gro
and
Copilot
committed
9ebec35
test: pin name-based ORPA recognition on a down-level (slot=None) target

T-Gro
and
Copilot
committed
bc521f8

Commits on Aug 5, 2026

refactor: compact overload-resolution rules and tiebreaker tests

T-Gro
and
Copilot
committed
e9c8324
test: robust down-level ORPA guard via C# and F# polyfills

T-Gro
and
Copilot
committed
9a59773

Commits on Aug 6, 2026

Merge branch 'main' into feature/tiebreakers
T-Gro
authored
ae847ad
test: split tiebreaker tests into Agnostic / With / Without gating submodules

T-Gro
and
Copilot
committed
1580d36
test: give the tiebreaker With-tests real oracles (discriminate which overload won)

T-Gro
and
Copilot
committed
9e6e046

Commits on Aug 7, 2026

Merge remote-tracking branch 'origin/main' into feature/tiebreakers
T-Gro
committed
0116bbb