[Version 9.0] Feature support for records#1458

BillWagner wants to merge 3 commits intodraft-v9dotnet/csharpstandard:draft-v9from

v9-recordsdotnet/csharpstandard:v9-recordsCopy head branch name to clipboard