Polymorphic inference: support for parameter specifications and lambdas#15837

Merged

ilevkivskyi merged 15 commits into

python:masterfrom

ilevkivskyi:fix-generic-inference-4

Aug 15, 2023

Commits on Aug 9, 2023

Add basic support for polymorphic infernce with ParamSpec
Ivan Levkivskyi
committed
Some ParamSpec cleanup
Ivan Levkivskyi
committed
Add pop-off/on tests plus small fix
Ivan Levkivskyi
committed
Some more ParamSpec cleanup
Ivan Levkivskyi
committed
More tests and fixes
Ivan Levkivskyi
committed
Support lambdas
Ivan Levkivskyi
committed
Fix and support Concatenate
Ivan Levkivskyi
committed
Fix accidental TypeVar id clash
Ivan Levkivskyi
committed
Some cleanups
Ivan Levkivskyi
committed
Fix urllib crash; some assert tweak
Ivan Levkivskyi
committed

Commits on Aug 10, 2023

Address CR
Ivan Levkivskyi
committed
Couple fixes
Ivan Levkivskyi
committed
Fix overload issue
Ivan Levkivskyi
committed

Commits on Aug 11, 2023

Fix corner case with upper bounds
Ivan Levkivskyi
committed
Postpone few unneeded hacky changes; re-organize TODOs
Ivan Levkivskyi
committed