RepoJournal
Rust

@rust-lang

The Rust language, Cargo, and the standard library

Pick a date

The Wire · Showcase

RUST-ANALYZER REWRITES MACRO EXPANSION INTERNALS, COMPILER PREDICATE CLEANUP LANDS

By RepoJournal · Filed · About Rust

Rust-analyzer stripped out another batch of legacy `ExpandDatabase` queries overnight while the compiler team tackled redundant predicate handling in type checking.

The rust-analyzer team is methodically removing deprecated query group patterns, merging three separate PRs that eliminate `ExpandDatabase` queries [1] [2] [3] and refactor macro expansion methods for consistency [4]. This is part of a larger internal cleanup tracked in the analyzer's issue backlog. Meanwhile, the compiler team landed a predicate cleanup PR [5] that removes code paths treating generic predicates as clauses when only clauses are actually valid, tightening type system invariants. A rollup of 19 fixes also shipped [6], including view-type AST support, Enzyme on Apple silicon, and delegation improvements. The rust-analyzer subtree synchronized with the main compiler [7], and an allocator safety rewrite landed [8] defining "equivalent allocators" for stdlib correctness guarantees.

Action items

References

  1. [1] internal: remove some more `ExpandDatabase` queries ↗ rust-lang/rust-analyzer
  2. [2] internal: migrate `ExpandDatabase::*span_map` queries ↗ rust-lang/rust-analyzer
  3. [3] Merge pull request #22719 from ada4a/unquerygroup-macro_call_id-and-hir_file_id-methods rust-lang/rust-analyzer
  4. [4] internal: make `expand_speculative` a method on `MacroCallId` ↗ rust-lang/rust-analyzer
  5. [5] Predicate/clause cleanups ↗ rust-lang/rust
  6. [6] Rollup of 19 pull requests ↗ rust-lang/rust
  7. [7] `rust-analyzer` subtree update ↗ rust-lang/rust
  8. [8] Rollup merge of #157801 - theemathas:allocator-safety-rewrite, r=Amanieu rust-lang/rust

FAQ

What changed in Rust on July 8, 2026?
Rust-analyzer stripped out another batch of legacy `ExpandDatabase` queries overnight while the compiler team tackled redundant predicate handling in type checking.
What should Rust teams do about it?
Review rust-analyzer nightly for macro expansion changes if you maintain IDE integrations • Check allocator implementations against new safety definitions in std docs
Which Rust repositories shipped on July 8, 2026?
rust-lang/rust-analyzer, rust-lang/rust

For your repos

The showcase is a teaser.
Your wire is the product.

Same engine. Different stack. Below: what changes when the wire is yours.

Showcase wire

  • 14 famous open source orgs
  • One wire per day
  • Public, generic
  • Read on the web, when you remember

Your wire

  • Up to 1,500 of your repos - orgs, deps, vendors
  • Morning and evening briefs
  • Action items routed to your team
  • Slack delivery, email, breaking-news CVE alerts

Want a hands-on demo first? Ask a current user for an invite link.