Avoid leaking opaque hidden types via auto trait candidates - #159589

Open

bit-aloo wants to merge 6 commits into

rust-lang:mainfrom

bit-aloo:2026-07-29-opaque-type

Commits on Aug 13, 2026

add opaque test
bit-aloo
committed
80e76e4
next-solver: avoid leaking opaque hidden types via auto trait probes
bit-aloo
committed
6c7dbaf
define consider_auto_trait_candidate_for_opaque_ty and call it from consider_auto_trait_candidate
bit-aloo
committed
764e206
make the match exhaustive again
bit-aloo
committed
568806f
Don't let thte diagnostic leak the inner types of opaque types
bit-aloo
committed
f6687b0
Add description to test and move consider_auto_trait_candidate_for_opaque_ty in trait goaks
bit-aloo
committed
d974280