**Repro steps** ```fsharp type Record1 = { Foo: int; Bar: int; } [<AutoOpen>] module Module = type Record2 = { Foo: Record1 } let item: Record2 = Unchecked.defaultof<Record2> ignore { item with Foo.Foo = 3 } ignore { Module.item with Foo.Foo = 3 } ```  `{ Module.item with Foo.Foo = 3 }` should be compiled successfully, by analogy with `{ item with Foo.Foo = 3 }` **Related information** * .NET 8.0.100-rc.2.23502.2