Matthias Krüger cb1d80d1e5

Rollup merge of #130273 - lcnr:overflow-no-constraints, r=compiler-errors ...

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``

2024-09-12 19:03:43 +02:00

..

src

Rollup merge of #130273 - lcnr:overflow-no-constraints, r=compiler-errors

2024-09-12 19:03:43 +02:00

Cargo.toml

Auto merge of #127042 - GrigorenkoPV:derivative, r=compiler-errors

2024-07-25 22:50:58 +00:00