Why is an explicit `this` constructor initializer required in records with a primary constructor?

Question

In C# 9 we can create positional records causing them to get a constructor, which the spec draft calls a primary constructor. We can create a custom constructor as well, but