Mark classes as not instantiable

From python/typeshed#14558: Some classes (like re.Pattern) are not instantiable at runtime:

>>> import re
>>> re.Pattern()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: cannot create 're.Pattern' instances

Currently, there is no working way to mark classes as such. Ideas to mark classes:

• Annotate the return type of __new__ as NoReturn/Never.
• Set __new__ to None (similar to how __hash__ works).
• A new decorator.

Commencez par l’exemple d’exécution dans l’issue et la référence typeshed liée, python/typeshed#14558. Comparez les annotations new proposées, la définition de new à None et un décorateur avec le comportement existant de typing. Le travail est terminé lorsque le projet s’est accordé sur une manière d’exprimer qu’une classe ne peut pas être instanciée et a défini la sémantique attendue.