Skip to content

update overflow handling in the new trait solver#114287

Merged
bors merged 7 commits into
rust-lang:masterfrom
lcnr:overflow
Aug 5, 2023
Merged

update overflow handling in the new trait solver#114287
bors merged 7 commits into
rust-lang:masterfrom
lcnr:overflow

inline helper methods into `with_new_goal`

baf0768
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs