bors 365c0e1d7a Auto merge of #155443 - jdonszelmann:canonical, r=lcnr ...

Improve caching by introducing `TypingMode::ErasedNotCoherence`



r? @lcnr


This introduces `TypingMode::ErasedNotCoherence`. Most typing modes contain a list of opaque types, which are quite often unused during canonicalization. With this change, any time we try canonicalization, we replace whichever typing mode we're currently in with `ErasedNotcoherence`, attempt to canonicalize, and if that fails *retry* in the original typing mode. If erased mode succeeds, this is beneficial because that way the opaque types don't end up in the cache key, allowing more cache reuse.

This seems to have a small (0.5%) slowdown on most programs, but a dramatic (>60%) speedup in specific cases like the rustc-perf `wg-grammar` benchmark. Some more improvements are expected with "eager normalization", which is work that's under way right now.

2026-05-06 13:55:09 +00:00

..

src

Auto merge of #155443 - jdonszelmann:canonical, r=lcnr

2026-05-06 13:55:09 +00:00

Cargo.toml

Convert to inline diagnostics in rustc_const_eval

2026-02-06 22:55:58 +01:00