Code

RFC: Structural Records#2584

Code

Closed

Centril wants to merge 15 commits intorust-lang:masterrust-lang/rfcs:masterfrom Centril:rfc/structural-recordsCentril/rfcs:rfc/structural-recordsCopy head branch name to clipboard

+1,298

Commits

Commits on Oct 28, 2018

• rfc, structural-records: initial version.

  Centril

  committed
  482bc50

  Copy full SHA for 482bc50

Commits on Oct 29, 2018

• rfc/structural-records: fix typo.

  Show description for a8b1a23
  

  kennytm

  and

  Centril

  authored
  a8b1a23

  Copy full SHA for a8b1a23

• rfc, structural-records: fix type theory encoding mishap.

  Centril

  committed
  383a8dc

  Copy full SHA for 383a8dc

• rfc, structural-records: clarify that component types must be *WF*.

  Centril

  committed
  add3e0b

  Copy full SHA for add3e0b

Commits on Nov 2, 2018

• rfc, structural-records: elaborate on drawbacks re. orphans.

  Centril

  committed
  627f75d

  Copy full SHA for 627f75d

• rfc, structural-records: elaborate some more.

  Centril

  committed
  d2b61cb

  Copy full SHA for d2b61cb

• rfc, structural-records: discuss { 0: x, 1: y, .. }

  Centril

  committed
  c9b38d7

  Copy full SHA for c9b38d7

• rfc, structural-records: adjust start date.

  Centril

  committed
  9611276

  Copy full SHA for 9611276

• rfc, structural-records: ?Sized -> !Sized.

  Centril

  committed
  90ab4e8

  Copy full SHA for 90ab4e8

• rfc, structural-records: elaborate on behavior re. #[derive(LibstdTrait)].

  Centril

  committed
  0516865

  Copy full SHA for 0516865

Commits on Nov 3, 2018

• rfc, structural-records: clarify that immediate fields are always public.

  Centril

  committed
  8b948d1

  Copy full SHA for 8b948d1

• rfc, structural-records: note another instance of backtracking.

  Centril

  committed
  001c87c

  Copy full SHA for 001c87c

• rfc, structural-records: add unresolved question re. (Partial)Ord.

  Centril

  committed
  18a2684

  Copy full SHA for 18a2684

• rfc/structural-records: fix leftover from GAT fromulation of HasField.

  Show description for b070655
  

  Nemo157

  and

  Centril

  authored
  b070655

  Copy full SHA for b070655

Commits on Nov 6, 2018

• rfc/structural-records: fix typo.

  Show description for caad87a
  

  oli-obk

  and

  Centril

  authored
  caad87a

  Copy full SHA for caad87a