mypy

d0b3fb3c - Fix type variable with values as a supertype (#21431)

Fix type variable with values as a supertype (#21431) Fixes https://github.com/python/mypy/issues/21424 Unless I am missing something, this should be allowed.