Repository navigation

Implement arbitrary_self_types - #45870

Merged

bors merged 26 commits into

rust-lang:masterfrom

mikeyhew:arbitrary_self_types

Nov 12, 2017

Merged

Implement arbitrary_self_types#45870
bors merged 26 commits into
rust-lang:masterfrom
mikeyhew:arbitrary_self_types

Commits on Nov 7, 2017
- add tests for the arbitrary_self_types, which won't pass yet
  mikeyhew
  committed
  edc8c76
- initial implementation of arbitrary_self_types
  mikeyhew
  committed
  497397a
- Rewrote check_method_receiver and ExplicitSelf, got a borrow checker error
  mikeyhew
  committed
  7dff08d
- Fix the lifetime error in ExplicitSelf
  mikeyhew
  committed
  a3f5866
- Improve feature gate error, and return after emitting errors instead of looping forever
  mikeyhew
  committed
  9a592e6
- Fix some of the tests
  mikeyhew
  committed
  d03eb2c
- get the old error messages back
  mikeyhew
  committed
  aa0df3d
- Add arbitrary_self_types feature gate error to some tests
  mikeyhew
  committed
  6fd2156
- Update/improve documentation of ExpliciSelf
  mikeyhew
  committed
  0d739b5
- wrap error code in DiagnosticId::Error so it compiles
  mikeyhew
  committed
  1d29966
Commits on Nov 8, 2017
Commits on Nov 9, 2017
- fix the bug in region_inference where constraint origins were being overwritten
  mikeyhew
  committed
  dcbb27a
- fixed all the compile-fail error messages
  mikeyhew
  committed
  31d3783
- update test/ui/static-lifetime.stderr with new error message
  mikeyhew
  committed
  c046fda
- add a comment explaining the bugfix to infer::region_inference::add_constraint
  mikeyhew
  committed
  5d170f0
- Don't emit the feature error if it's an invalid self type
  mikeyhew
  committed
  ddc21d5
- add run-pass tests
  mikeyhew
  committed
  77cd993