module Module
type R1 =
{ A: int }
type R2 =
{ ...R1
B: int }
let r: R2 = Unchecked.defaultof<_>
let _ = { r with A = 1 }
When getting resolved symbols from the file check results, there are many duplicates (orange) and completely wrong symbols that break analysis (red):

When getting resolved symbols from the file check results, there are many duplicates (orange) and completely wrong symbols that break analysis (red):
