Using `classmethod` of generic alias of a generic type and `--disallow-any-generics`

Code:

from typing import TypeVar, Generic, reveal_type

T = TypeVar('T')
N = TypeVar('N')

class My(Generic[T]):
    def __init__(self, arg: T) -> None:
        self.arg = arg
    @classmethod
    def from_arg(cls, arg: N) -> 'My[N]':
        return My(arg)
        

Alias = My[T]
        
reveal_type(My.from_arg(1)) 
# note: Revealed type is "__main__.My[builtins.int]"

reveal_type(Alias.from_arg(1))
# error: Missing type parameters for generic type "Alias"  [type-arg]
# note: Revealed type is "__main__.My[builtins.int]"

Link: https://mypy-play.net/?mypy=latest&python=3.12&flags=disallow-any-generics&gist=f657946226b54d0654952c6bcdb02a61

Problem: I think that [type-arg] error should not be raised in this case, because no type param is actually needed in this case. classmethod is often used as a constructor, duplicating type vars is verbose and unneeded.

Empieza reproduciendo el ejemplo del caso enlazado de mypy-play con --disallow-any-generics y, después, sigue cómo se analizan los alias genéricos y las llamadas a classmethod. Se considera terminado cuando Alias.from_arg(1) ya no provoca el error de type-arg, mientras su tipo revelado sigue siendo My[int].