https://peps.python.org/pep-0747/

pyright has experimental support for this (can be enabled using enableExperimentalFeatures). i'm not sure what ty's stance is on experimental typing features is (does ty need an enable-experimental-features setting too?), but it would be nice if this was supported.