Note that there is no use of the | None, and in all cases the args is list[str]:

• pip/src/pip/_internal/commands/lock.py

  Line 92 in 758a172

  def run(self, options: Values, args: list[str]) -> int:

• pip/src/pip/_internal/commands/download.py

  Line 77 in 758a172

  def run(self, options: Values, args: list[str]) -> int:

• pip/src/pip/_internal/commands/install.py

  Line 281 in 758a172

  def run(self, options: Values, args: list[str]) -> int:

• pip/src/pip/_internal/commands/wheel.py

  Line 103 in 758a172

  def run(self, options: Values, args: list[str]) -> int:

Aren't TypeVars usually defined shortly before they're first used or shortly after the imports or even in the if TYPE_CHECKING block?

Regardless, please move it somewhere other than the very end of the module.

Mechanically this is done because with_cleanup depends on RequirementCommand, but that is defined afterwards, so I was forced to make this typevar here.

I am fine to move the with_cleanup definition to after RequirementCommand if this is what you'd like me to do.

IIRC mypy will tolerate a forward reference in a typevar bound just fine.

from typing import TypeVar

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

def do_something(obj: T) -> T:
	return obj

class Base:
	pass

class Wrong:
	pass

do_something(Base())   # passes
do_something(Wrong())  # E: Value of type variable "T" of "do_something" cannot be "Wrong"  [type-var]

Confirmed. Updated.