Returing generic type from indirect factory methods?

[pmhahn]

I have a class-hierarchy and a matching class-hierarchy of managers for them:

from __future__ import annotations
from typing import ClassVar, Generic, TypeVar, reveal_type

class Dir:
    def walk(self) -> None: print("Dir")

class Git(Dir):
    def walk(self) -> None: print("Git")
    def commit(self) -> None: print("Commit")

T = TypeVar("T", bound=Dir)

class Manager(Generic[T]):
    create: ClassVar[type[T]]  # def create(self) -> T: raise NotImplementedError
    def create2(self) -> tuple[T, T]: return (self.create(), self.create())

class DirManager(Manager[Dir]):
    create = Dir  # def create(self) -> Dir: return Dir()

class GitManager(DirManager):  # , Manager[Git]
    create = Git  # def create(self) -> Git: return Git()


reveal_type(DirManager().create())
# note: Revealed type is "mypy-generic-multiclass.Dir"
reveal_type(DirManager().create2())
# note: Revealed type is "tuple[mypy-generic-multiclass.Dir, mypy-generic-multiclass.Dir]"

reveal_type(GitManager().create())
# note: Revealed type is "mypy-generic-multiclass.Git"
reveal_type(GitManager().create2())
# note: Revealed type is "tuple[mypy-generic-multiclass.Dir, mypy-generic-multiclass.Dir]"

Is it possible to get GitManager().create2() to also return (Git, Git) instead of (Dir, Dir) without explicitly overwriting create2() in every sub-class?

PS: pyright and pyrefly do not like the declaration of create: ClassVar[type[T]] and report

error: "ClassVar" type cannot include type variables (reportGeneralTypeIssues)

#1424 has some more information about that. Using the alternative def create(self) -> … as hinted in the comments does not make a difference regarding the return types. mypy and ty accept it. See #1775 for hinting that.