Rollup of 17 pull requests#62354

Closed

Centril wants to merge 49 commits intorust-lang:masterfrom

Centril:rollup-04ya07k

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