[Version 10.0] Feature support for record with sealed ToString#1550

RexJaeschke wants to merge 2 commits intodraft-10dotnet/csharpstandard:draft-10from

v10-record-with-sealed-ToStringdotnet/csharpstandard:v10-record-with-sealed-ToStringCopy head branch name to clipboard