Anonymous record execution order #6487

Fields are ordered as outlined in the RFC. However,

{|
    C = printfn "0"
    B = printfn "1"
    A = printfn "2"
|}

outputs

2
1
0

Maybe the RFC just needs to be updated but without thinking about it I would still just assume top-down execution. Doesn't seem too crazy to have something like

{|
    Id = binaryReader.ReadInt32()
    DateTime = binaryReader.ReadInt64()
    ....
|}