Repository navigation

Share type inference constraint matching through matching positions - #23067

Draft

hvitved wants to merge 4 commits into

mainfrom

hvitved-share-type-matching-logic

Draft

Share type inference constraint matching through matching positions#23067
hvitved wants to merge 4 commits into
mainfrom
hvitved-share-type-matching-logic

Commits on Nov 9, 2026
- Share type inference constraint matching through matching positions
  
  hvitved
  and
  Copilot
  committed
  2af1a3a
- Share contextual constraint matching and path alignment
  
  hvitved
  and
  Copilot
  committed
  a331d8a
- Add recursive variance inference test cases
  
  hvitved
  and
  Copilot
  committed
  542097d
- Implement recursive variance-aware type matching
  
  hvitved
  and
  Copilot
  committed
  861cd99