Infer type parameters from indexes on those parameters - #53017

Closed

Mateusz Burzyński (Andarist) wants to merge 39 commits into

microsoft:mainfrom

Andarist:infer-concrete-properties-of-reverse-mapped-types

Commits on Dec 21, 2017

Infer type parameters from indexes on those parameters
Wesley Wigham (weswigham)
committed
3451575
Greatly simplify partial inference type instantiation through use of an alias in lib
Wesley Wigham (weswigham)
committed
f5b208c
Add many more tests showing current behaviors
Wesley Wigham (weswigham)
committed
ba064ac
Discriminate partial inferences if not complete enough to satisfy constraint
Wesley Wigham (weswigham)
committed
93afc10
Move case to prefered location
Wesley Wigham (weswigham)
committed
49e1961
Small refactor to reduce how many comparisons are performed
Wesley Wigham (weswigham)
committed
96772e5

Commits on Feb 28, 2023

Infer reverse mapped types based on inferences made for its concrete properties
Mateusz Burzyński (Andarist)
committed
2e0c635

Commits on Apr 17, 2023

Commits on Apr 18, 2023

Commits on Apr 20, 2023

do not collect index-based inferences from non-inferrable types
Mateusz Burzyński (Andarist)
committed
8ffcb94

Commits on May 22, 2023

Merge remote-tracking branch 'origin/main' into infer-concrete-properties-of-reverse-mapped-types
Mateusz Burzyński (Andarist)
committed
192d8b7

Commits on Jun 13, 2023

Merge remote-tracking branch 'origin/main' into infer-concrete-properties-of-reverse-mapped-types
Mateusz Burzyński (Andarist)
committed
5fa585c

Commits on Aug 22, 2023

Merge remote-tracking branch 'origin/main' into infer-concrete-properties-of-reverse-mapped-types
Mateusz Burzyński (Andarist)
committed
375c127

Commits on Sep 15, 2024

Merge remote-tracking branch 'origin/main' into infer-concrete-properties-of-reverse-mapped-types
Mateusz Burzyński (Andarist)
committed
a62749c

Commits on Sep 16, 2024

Commits on Nov 29, 2025

Merge remote-tracking branch 'origin/main' into infer-concrete-properties-of-reverse-mapped-types
Mateusz Burzyński (Andarist)
committed
46e280b

Commits on Dec 1, 2025

Commits on Dec 2, 2025

discard never aggregate inferences
Mateusz Burzyński (Andarist)
committed
e3f6b43
prefer default
Mateusz Burzyński (Andarist)
committed
1911406
Merge remote-tracking branch 'origin/main' into infer-concrete-properties-of-reverse-mapped-types
Mateusz Burzyński (Andarist)
committed
20d6feb
change condition for indexes gathering
Mateusz Burzyński (Andarist)
committed
a554bbf
simplify test
Mateusz Burzyński (Andarist)
committed
22ddecc
refactor
Mateusz Burzyński (Andarist)
committed
ced3cc1

Commits on Dec 3, 2025

remove `PartialInference`
Mateusz Burzyński (Andarist)
committed
a09f410
add tests
Mateusz Burzyński (Andarist)
committed
7bc77f1

Commits on Dec 5, 2025

Merge remote-tracking branch 'origin/main' into infer-concrete-properties-of-reverse-mapped-types
Mateusz Burzyński (Andarist)
committed
097b8e6