Update records.md

This commit is contained in:
Arseny Kapoulkine 2022-01-20 12:14:55 -08:00 committed by GitHub
parent 87a3785ca9
commit 7f790d3910
Signed by: DevComp
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,5 +1,7 @@
# Records
TODO: cover generic records more comprehensively, including "what happens to generic type arguments in method declarations"
## Summary
Introduces a new data type, record, which is essentially a dictionary with fixed structure.