`AbstractContextManger.__enter__` should be abstract

Code sample in basedpyright playground

from contextlib import AbstractContextManager
from typing import override


class CM(AbstractContextManager[int]):
    @override
    def __exit__(self, *_): ...

with CM() as i:
    print(i + 1)

AbstractContextManger.__enter__ has a default implementation that returns self, so by making it abstract you would require implementations to provide the correct implementation. this would force a redundant implementation if the type is Self, but that is currently impossible to type anyway: https://discuss.python.org/t/self-as-typevar-default/90939

even without Self support, it is only one line of redundant code: def __enter__(self) -> Self: return self

Commencez par le basedpyright playground example et le AbstractContextManager stub entry point qu’il met à l’épreuve. Vérifiez comment le enter par défaut actuel affecte la vérification des classes abstraites, puis vérifiez que le rendre abstrait exige une implémentation tout en préservant le comportement de typage prévu pour les gestionnaires de contexte.