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

Beginne mit der verlinkten mypy-play-Reproduktion mit mypy 1.4.1 und vergleiche die inferierten und explizit typisierten Listen, insbesondere den Fall mit drei Elementen. Verfolge die Prüfung der Instanziierung abstrakter Klassen, die an diesen Beispielen beteiligt ist; abgeschlossen ist die Aufgabe, wenn äquivalente inferierte und explizite Typisierungen konsistente Fehler erzeugen.