Repository navigation

remove needs_drop impl - #462

Merged

RalfJung merged 2 commits into

rust-lang:masterfrom

RalfJung:needs-drop

Oct 1, 2018

Commits on Oct 1, 2018
- remove needs_drop impl
  RalfJung
  committed
  1ce0552
- move 'cargo miri' test down so it is not the first thing testing start-fn
  RalfJung
  committed
  eaff451