Skip to content

Make ObligationEmittingRelations emit Goal rather than Obligation#126130

Merged
bors merged 4 commits intorust-lang:masterfrom
compiler-errors:goal-relations
Jun 12, 2024
Merged

Make `ObligationEmittingRelation`s emit `Goal` rather than `Obligation`#126130
bors merged 4 commits intorust-lang:masterfrom
compiler-errors:goal-relations

Commits

Commits on Jun 11, 2024