Improve caching by introducing `TypingMode::ErasedNotCoherence` - #155443

Merged

rust-bors[bot] merged 15 commits into

rust-lang:mainfrom

jdonszelmann:canonical

May 6, 2026

Commits on May 6, 2026

Add `AccessedOpaques`, tracking opaque access during canonicalization
jdonszelmann
committed
3b0a258
Change sg apis to cache opaque accesses
jdonszelmann
committed
6173314
Introduce `ErasedNotCoherence` typing mode
jdonszelmann
committed
a93f8c0
type safety for typing mode outside trait solver which can't be erased-not-coherence
jdonszelmann
committed
630f0d2
Add logging in various places
jdonszelmann
committed
a299302
Try to canonicalize with erased opaques, retry when opaques are used.
jdonszelmann
committed
7ff71be
Refactor `fetch_eligible_assoc_item` output
jdonszelmann
committed
9fda7e0
consistently return OpaquesAccessed from probes to signal why they error
jdonszelmann
committed
e8b74ee
some attempts at improving coroutines resulting in FIXME
jdonszelmann
committed
1390409
make RerunReason an enum
jdonszelmann
committed
d543ed8
return ambiguous in fast path, factor out method to check if no opaques in scope
jdonszelmann
committed
8ca4e43
prefer assert_not_erased over matching+unreachable
jdonszelmann
committed
f0c1798
move typing mode determination out of canonicalize_goal
jdonszelmann
committed
52bd834
some cleanup
jdonszelmann
committed
1c34c39
fixup GenericTypeVisitable
jdonszelmann
committed
36b6eeb