Skip to content

update overflow handling in the new trait solver#114287

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

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

Conversation

@lcnr
Copy link
Contributor

@lcnr lcnr commented Jul 31, 2023

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

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants