Michael Goulet 097a49867c Rollup merge of #114287 - lcnr:overflow, r=compiler-errors ...

update overflow handling in the new trait solver

implements https://hackmd.io/QY0dfEOgSNWwU4oiGnVRLw?view. I want to clean up this doc and add it to the rustc-dev-guide, but I think this PR is ready for merge as is, even without the dev-guide entry.

r? `@compiler-errors`

2023-08-04 19:47:38 -07:00

..

solve

Rollup merge of #114287 - lcnr:overflow, r=compiler-errors

2023-08-04 19:47:38 -07:00

traits

Rollup merge of #114434 - Nilstrieb:indexing-spans, r=est31

2023-08-04 21:31:57 +02:00

errors.rs

convert to fluent, make plurals work

2023-06-28 18:08:21 +00:00

infer.rs

Remove constness from TraitPredicate

2023-08-02 15:38:00 +00:00

lib.rs

remove hash_drain_filter feature uses

2023-06-14 09:28:56 +02:00