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.

Beginne damit, das Beispiel im verlinkten mypy-play-Fall mit --disallow-any-generics zu reproduzieren, und verfolge anschließend, wie generische Aliase und classmethod-Aufrufe analysiert werden. Als abgeschlossen gilt die Aufgabe, wenn Alias.from_arg(1) nicht mehr den type-arg-Fehler auslöst, während sein aufgedeckter Typ weiterhin My[int] bleibt.