tree c8915b693726b42e66afc2e93bac75dcdbc15910
parent a7c48520560c3adf7176b91d16f4d0750ab8dfa9
author Ivan Levkivskyi <levkivskyi@gmail.com> 1691595218 +0100
committer GitHub <noreply@github.com> 1691595218 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJk07HSCRBK7hj4Ov3rIwAA3m4IAGFklcvWaggpIr1XdlyPTL5a
 JR6LDsbWm3OtCrWBdfMcOVl0nxcTMHLkU2k5gsaj1ACiSxw2lN6pXpvGMFf3vHkd
 bOg+iaZCcidtbBbvTrL65obt9H3qa7O2hKCDvl5/ndza696750LRT3FyOtjzVtma
 MSA0wq/Forz7jfSqUKa1wcjFZd+oXXE37Rk0xaGxZ7iTIWnrt+6kOml4ZqlDX3qf
 IGiFOJSP0KYXODQm7HxLo8hUOHcruiSQ6TqWpm0olmMEUUZayPtfsc/tniDNff6u
 yUnHApwe9KmIWDmszIo0ALhaEsU65a2WbkUrfAprrKPsZMfo66xiWx+aommV0gc=
 =Y31u
 -----END PGP SIGNATURE-----
 

New type inference: add support for upper bounds and values (#15813)

This is a third PR in series following
https://github.com/python/mypy/pull/15287 and
https://github.com/python/mypy/pull/15754. This one is quite simple: I
just add basic support for polymorphic inference involving type
variables with upper bounds and values. A complete support would be
quite complicated, and it will be a corner case to already rare
situation. Finally, it is written in a way that is easy to tune in the
future.

I also use this PR to add some unit tests for all three PRs so far,
other two PRs only added integration tests (and I clean up existing unit
tests as well).