[Feature] Get the type of generic typeVar in class

Feature

Having a class inheriting from a Generic make it possible to get type of the typeVar, possibly with a method like get_type or alike.

class MyClass(Generic[T]):
    def __init__(self):
         self.generic_type = T.get_type()

Pitch

Other languages' type system have this capability.

e.g.

C#;
Type type = abc.GetType().GetGenericArguments()[0];
https://stackoverflow.com/questions/557340/how-to-get-the-type-of-t-from-a-member-of-a-generic-class-or-method

C++;

template <class T>
class MyClass : public Base<T>
{
public:
    T t;
    decltype(t) t2;
};

https://en.cppreference.com/w/cpp/language/decltype

Aucun fichier, test ou point d’entrée n’étant identifié dans l’issue, il faut commencer par localiser la gestion des classes Generic et des variables de type par mypy. La tâche serait considérée comme terminée lorsqu’une conception approuvée et une implémentation permettront à une classe générique d’obtenir le type de sa variable de type, avec des tests démontrant le comportement demandé.