Skip to content

Use a proof tree visitor to refine the Obligation for error reporting in new solver#124418

Merged
bors merged 5 commits into
rust-lang:masterfrom
compiler-errors:better-cause
May 4, 2024
Merged

Use a proof tree visitor to refine the Obligation for error reporting in new solver#124418
bors merged 5 commits into
rust-lang:masterfrom
compiler-errors:better-cause

Higher ranked goal source, do overflow handling less badly

34e91ec
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs