Inconsistent "cannot instantiate abstract class" with list of concete types deriving from an abstract base

Bug Report

mypy gives inconsistent errors with regard to instantiating classes that derive from a common abstract base class when the derived classes are accessed via a list.

The errors depend on size of the list, and whether the type of the list is inferred or explicit.

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.11&gist=0fb05ed25d3fd593772c6a7586f92929

Expected Behavior

Each example with the same inferred/explicit typing should give the same errors.

Actual Behavior

The example with a list of three elements and inferred type gives an error where all other examples don't

Your Environment

• Mypy version used: 1.4.1
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.10

Commencez par la reproduction mypy-play liée en utilisant mypy 1.4.1 et comparez les listes dont les types sont inférés et celles dont les types sont explicites, en particulier le cas à trois éléments. Suivez la vérification de l'instanciation de classes abstraites impliquée dans ces exemples ; le travail est terminé lorsque des typages inférés et explicites équivalents produisent des erreurs cohérentes.