Repository navigation

Rename Pin to PinMut, and some more breaking changes - #50497

Merged

bors merged 5 commits into

rust-lang:masterfrom

RalfJung:pinmut

May 8, 2018

Commits on May 7, 2018
- Rename Pin to PinMut
  RalfJung
  committed
  9f26376
- Change PinMut::map to be able to preserve the original reference's lifetime
  RalfJung
  committed
  84ce206
- PinMut::get_mut can also preserve the lifetime
  RalfJung
  committed
  17206a7
- Rename PinMut::borrow to PinMut::reborrow and make it a method
  RalfJung
  committed
  8619e19
- Unpin: Fix references to Pin type
  RalfJung
  committed
  939c25a