Repository navigation

Streamline `HirCollector` - #130419

Merged

bors merged 3 commits into

rust-lang:masterfrom

nnethercote:streamline-HirCollector

Oct 3, 2024

Merged

Streamline `HirCollector`#130419
bors merged 3 commits into
rust-lang:masterfrom
nnethercote:streamline-HirCollector

Commits on Sep 25, 2024
- Remove `HirCollector::sess`.
  nnethercote
  committed
  701ccd3
- Remove `HirCollector::map`.
  nnethercote
  committed
  711c91d
- Rename `AstValidator::session` as `AstValidator::sess`.
  nnethercote
  committed
  0882ad5