Incorrect error range in mixed lists with yield!

[Lanayx]

This issue is particularly painful when writing Fable UI where lists are often generated from data sequences using yield!

Repro steps

Provide the steps required to reproduce the problem:
Here is the code:

module Test =
    let f (): int list =
        [
            1
            "wrong"
            2
            yield! [3; 4]
        ]

Expected behavior

I expect the error to be highlighted only on "wrong" like when there is no yield!

Actual behavior

Whole list is highlighted with red

Provide a description of the actual behaviour observed.

Known workarounds

Not applicable

Related information

Provide any related information (optional):

dotnet 7.0.200

[kerams]

Sort of a duplicate of #7670. Pretty sure the root cause (poorer diagnostics in the statement-based list path of type checking) is the same.