Raise an error if we try to have interfaces with auto properties on constructor-less types

[edgarfgp]

Description

• Adds a unit test for verify internal error when implementing interface with auto property in record type (Unexpected definition (AutoProperty...) #13690
• Raise a new error if we try to have interfaces with auto properties on constructor-less types

Checklist

• Test cases added
• Release notes entry updated

[edgarfgp]

This is ready

[psfinaki]

/azp run

[azure-pipelines]

Azure Pipelines successfully started running 2 pipeline(s).

[psfinaki]

Hey @edgarfgp good stuff here. In the PR description, you mention benchmarks, do you still plan to add them?

[edgarfgp]

Hey @edgarfgp good stuff here. In the PR description, you mention benchmarks, do you still plan to add them?

Not applicable in this case. The check was there as part of the new PR template :). I guess I should remove it from the description

[psfinaki]

Ah okay, nevermind then :)