Record property fails to override inherited abstract property

[gafter]

The spec in dotnet/csharplang#3505 says

For each record parameter of a record type declaration there is a corresponding public property member whose name and type are taken from the value parameter declaration. If no concrete (i.e. non-abstract) property with a get accessor and with this name and type is explicitly declared or inherited, it is produced by the compiler as follows:

For a record struct or a record class:

• A public get and init auto-property is created (see separate init accessor specification). Its value is initialized during construction with the value of the corresponding primary constructor parameter. Each "matching" inherited abstract property's get accessor is overridden.

(Emphasis mine)

However, the test Inheritance_07 in #44595 demonstrates that the implementation does not obey the specification.