Match anonymous record's type inference with nominal records inference #759
Title of Suggestion
I propose we use the same type of inference as for nominal records
The way it works now is that anonymous records inference occurs at a later stage.
Pros and Cons
The advantages of making this adjustment to F#: Currently because anonymous records are inferred at a later stage they are more prone to be type annotated than nominal records, which defeats the whole purpose of having anonymous records.
The disadvantages of making this adjustment to F#: Nominal records inference is considered a bit weird because when two records contain the same field names, the compiler takes the last one that was declared.
Estimated cost: M
Related suggestions: dotnet/fsharp#6699
Affidavit (please submit!)
Please tick this by placing a cross in the box:
Please tick all that apply: