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

Comienza con la reproducción enlazada de mypy-play usando mypy 1.4.1 y compara las listas con tipos inferidos y explícitos, especialmente el caso de tres elementos. Rastrea la comprobación de instanciación de clases abstractas involucrada en esos ejemplos; se considera terminado cuando las tipificaciones inferidas y explícitas equivalentes producen errores coherentes.