Skip to content

Implement ObjectSafe and WF in the new solver#107272

Merged
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:new-solver-more-predicates
Jan 26, 2023
Merged

Implement ObjectSafe and WF in the new solver#107272
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:new-solver-more-predicates

Don't normalize obligations in WF goal for the new solver

02b80d2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs