RFC: Structural Records - #2584

Closed

Centril wants to merge 15 commits into

rust-lang:masterfrom

Centril:rfc/structural-records

Commits on Oct 28, 2018

rfc, structural-records: initial version.
Centril
committed
482bc50

Commits on Oct 29, 2018

rfc/structural-records: fix typo.

kennytm
and
Centril
authored
a8b1a23
rfc, structural-records: fix type theory encoding mishap.
Centril
committed
383a8dc
rfc, structural-records: clarify that component types must be *WF*.
Centril
committed
add3e0b

Commits on Nov 2, 2018

rfc, structural-records: elaborate on drawbacks re. orphans.
Centril
committed
627f75d
rfc, structural-records: elaborate some more.
Centril
committed
d2b61cb
rfc, structural-records: discuss { 0: x, 1: y, .. }
Centril
committed
c9b38d7
rfc, structural-records: adjust start date.
Centril
committed
9611276
rfc, structural-records: ?Sized -> !Sized.
Centril
committed
90ab4e8
rfc, structural-records: elaborate on behavior re. #[derive(LibstdTrait)].
Centril
committed
0516865

Commits on Nov 6, 2018

rfc/structural-records: fix typo.

oli-obk
and
Centril
authored
caad87a