Code

rustc: rename ty::maps to ty::query.#157

Code

Merged

mark-i-m merged 3 commits intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

eddyb:mastereddyb/rustc-guide:masterCopy head branch name to clipboard

Jun 26, 2018

Commits

Commits on Jun 14, 2018

• rustc: rename ty::maps to ty::query.

  eddyb

  committed
  6cae0d4

  Copy full SHA for 6cae0d4

Commits on Jun 25, 2018

• Update high-level-overview.md

  eddyb

  authored
  cd3945d

  Copy full SHA for cd3945d

• Update query.md

  eddyb

  authored
  4c4d215

  Copy full SHA for 4c4d215