Skip to content

emit ProjectionPredicate obligations when relating projections#96912

Closed
BoxyUwU wants to merge 3 commits into
rust-lang:masterfrom
BoxyUwU:lots_of_obligations
Closed

emit ProjectionPredicate obligations when relating projections#96912
BoxyUwU wants to merge 3 commits into
rust-lang:masterfrom
BoxyUwU:lots_of_obligations

make CI pass

686df5f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs