Add C# 9 diagnostics for record types#53507

BillWagner merged 4 commits intodotnet:maindotnet/docs:mainfrom

BillWagner:record-declaration-diagnosticsBillWagner/docs:record-declaration-diagnosticsCopy head branch name to clipboard