Rollup of 16 pull requests#62355

Merged

bors merged 47 commits intorust-lang:masterfrom

Centril:rollup-xnxtcgm

Jul 4, 2019

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