Rollup of 10 pull requests#63482

Closed

Centril wants to merge 24 commits intorust-lang:masterfrom

Centril:rollup-iyakgmg

Commits on Jul 26, 2019

Use sharded maps for queries
Zoxc
committed

Commits on Aug 4, 2019

don't add Retag statements for compound types
RalfJung
committed

Commits on Aug 5, 2019

Commits on Aug 12, 2019