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

..

relate

Uplift PredicateEmittingRelation first

2024-07-06 10:05:49 -04:00

solve

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

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

canonicalizer.rs

Simplify some nested if statements

2024-09-11 13:45:23 -04:00

coherence.rs

Shrink TyKind::FnPtr.

2024-08-09 14:33:25 +10:00

delegate.rs

Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr

2024-07-08 13:04:33 +08:00

lib.rs

Deny imports of rustc_type_ir::inherent outside of type ir + new trait solver

2024-09-01 12:16:18 -04:00

relate.rs

Uplift PredicateEmittingRelation first

2024-07-06 10:05:49 -04:00

resolve.rs

Reformat use declarations.

2024-07-29 08:26:52 +10:00