Code

overloaded-box and placement-in#809

Code

Merged

nikomatsakis merged 11 commits intorust-lang:masterrust-lang/rfcs:masterfrom pnkfelix:fsk-box-and-in-for-stdlib-rfcpnkfelix/rfcs:fsk-box-and-in-for-stdlib-rfcCopy head branch name to clipboardFeb 11, 2015

+731

Commits

Commits on Feb 4, 2015

• initial draft

  pnkfelix

  committed
  3927d56

Commits on Feb 5, 2015

• mention more about alternative syntax.

  pnkfelix

  committed
  a980f3d

• add new drawback based on observing inference weakness for Box<Trait>.

  pnkfelix

  committed
  c081b93

Commits on Feb 9, 2015

• switched placement-in syntax to in PLACE { BLOCK }.

  Show description for 10388e0
  pnkfelix

  committed
  10388e0

• Extend Drawbacks section's discussion of type-inference and coercion

  Show description for 28a30fb
  pnkfelix

  committed
  28a30fb

• Added more complete example of drawback, taken from gists on PR 22086.

  pnkfelix

  committed
  9f4b6e8

• add transcript of compilation attempts, so the reader can see concretely

  Show description for 4ca4bd0
  pnkfelix

  committed
  4ca4bd0

• Add one more note about acription and a place where it is particularly

  Show description for 9d53797
  pnkfelix

  committed
  9d53797

• Add notes on using distinct feature-names for gating the two syntaxes separately.

  pnkfelix

  committed
  4ec9be7

• Note potential reason to keep in (<place>) <expr> over in <place> { <block> }

  pnkfelix

  committed
  f6df740

• Decided I care enough about the overloading+inference+coercion question

  Show description for 2880173
  pnkfelix

  committed
  2880173