mirror of
https://github.com/rust-lang/rust.git
synced 2025-12-30 09:57:21 +00:00
c452090597
Explain HRTB + infer limitations of old solver Add a helpful message when we hit the limitation of the old trait solver where we don't properly normalize GATs with infer vars + bound vars, leading to too-eagerly reporting trait errors that would be later satisfied due to inference.