How are conflicting property declarations in record types with positional members supposed to be handled?

Question

In my own experimentation I\'ve come across some somewhat esoteric behaviour in C# and I wondered if this is working as expected:

public record User(string Name,