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

Start with the linked mypy-play reproduction using mypy 1.4.1 and compare the inferred and explicitly typed lists, especially the three-element case. Trace the abstract-class instantiation checking involved in those examples; done means equivalent inferred and explicit typings produce consistent errors.