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

Inizia con la riproduzione collegata di mypy-play usando mypy 1.4.1 e confronta le liste con tipi inferiti e quelle tipizzate esplicitamente, in particolare il caso con tre elementi. Traccia il controllo dell'istanziazione di classi astratte coinvolto in questi esempi; il lavoro è completo quando tipizzazioni inferite ed esplicite equivalenti producono errori coerenti.