Rollup of 18 pull requests#62352

Closed

Centril wants to merge 51 commits into

rust-lang:masterfrom

Centril:rollup-lde3ghk

Commits on Jun 27, 2019

rename InterpretCx -> InterpCx
RalfJung
committed

Commits on Jun 29, 2019

wfcheck: resolve the type-vars in `AdtField` types
arielb1
committed

Commits on Jun 30, 2019

Update mem::replace example to not be identical to mem::take
czipperz
committed

Commits on Jul 2, 2019

Commits on Jul 3, 2019