Update records.md (#3547)

This commit is contained in:
Andy Gocke 2020-06-08 14:01:34 -07:00 committed by GitHub
parent 956d7e8ece
commit 5c9b8f27bd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -80,6 +80,8 @@ type if the "covariant returns" feature is supported and the override return typ
synthesized clone method is an override of the base type clone method if one exists. An error is
produced if the base type clone method is sealed.
If the containing record is abstract, the synthesized clone method is also abstract.
## Positional record members
In addition to the above members, records with a parameter list ("positional records") synthesize