Skip to content

Make alias bounds sound in the new solver (take 2)#110673

Merged
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:alias-bounds-2
May 10, 2023
Merged

Make alias bounds sound in the new solver (take 2)#110673
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:alias-bounds-2

Consolidate the 'match assumption' type methods in GoalKind

3a863e5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs