mirror of
https://github.com/rust-lang/rust.git
synced 2025-02-15 16:33:49 +00:00
![]() more eagerly discard constraints on overflow
We always discard the results of overflowing goals inside of the trait solver. We previously did so when instantiating the response in `evaluate_goal`. Canonicalizing results only to later discard them is also inefficient 🤷
It's simpler and nicer to debug to eagerly discard constraints inside of the query itself.
r? ``@compiler-errors``
|
||
---|---|---|
.. | ||
src | ||
Cargo.toml |