BaseExceptionGroup should return ExceptionGroup if initialized with non-base exceptions

When initializing a BaseExceptionGroup with non-base exceptions the stdlib (and the backport) will in fact return an ExceptionGroup. The typing in neither of typeshed nor the backport currently supports this.

from typing_extensions import reveal_type

x = BaseExceptionGroup('', [ValueError()])
reveal_type(x)

$ python foo.py
Runtime type is 'ExceptionGroup'
$ mypy foo.py 
foo.py:30: note: Revealed type is "builtins.BaseExceptionGroup[builtins.ValueError]"
$ pyright foo.py 
foo.py
  foo.py:30:13 - information: Type of "x" is "BaseExceptionGroup[ValueError]"

I have vague recollections that trying to do this was hard-to-impossible, but I currently cannot find any related issues.

Commencez par localiser les définitions de BaseExceptionGroup dans typeshed et dans le backport, puis comparez le typage de leur constructeur avec le comportement à l’exécution présenté dans l’issue. Vérifiez les exemples avec mypy et pyright ; le travail est terminé lorsque les deux vérificateurs de types peuvent déduire ExceptionGroup[ValueError] lorsque seules des exceptions qui ne sont pas des exceptions de base sont passées.