F# Symbol is not reported for the outer field when updating a nested field for the second time

[DedSec256]

In #14821 by @kerams was implemented new syntax for nested record field copy and update.

As you can see in the screenshots, all features (such as highlighting, navigation, etc.) work normally for A in A.Foo, but not for A in A.Bar -- because the F# symbol is not reported here.

Repro steps

type RecordA = { Foo: int; Bar: int; Zoo: int }
type RecordB = { A: RecordA }

let f (b: RecordB) = { b with A.Foo = 3; A.Bar = 3 }

Related information

• .NET 8.0.100-preview.5.23303.2 SDK

[vzarytovskii]

@kerams was it also fixed by your fix for the nested update?

[kerams]

No. Here we're losing information when merging updates. Reports to the sink happen a little bit later.