https://github.com/microsoft/pyright/blob/main/docs/type-inf...