maxmustermann/csharplang
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Override abstract property get and init accessors (#3626)

Browse source
This commit is contained in:
Charles Stoner 2020-06-30 10:53:26 -07:00 committed by GitHub
parent 510a72d2fc
commit 413c55fe88
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
proposals/records.md
View file

@ -217,8 +217,9 @@ member whose name and type are taken from the value parameter declaration.
For a record:
* A public `get` and `init` auto-property is created (see separate `init` accessor specification).
Each "matching" inherited abstract accessor is overridden. The auto-property is initialized to
the value of the corresponding primary constructor parameter.
An inherited `abstract` property with matching type is overridden.
It is an error if the inherited property does not have `public` overridable `get` and `init` accessors.
The auto-property is initialized to the value of the corresponding primary constructor parameter.
### Deconstruct