Skip to content

Introduce enter_forall to supercede instantiate_binder_with_placeholders#120544

Merged
bors merged 3 commits into
rust-lang:masterfrom
BoxyUwU:enter_forall
Feb 8, 2024
Merged

Introduce enter_forall to supercede instantiate_binder_with_placeholders#120544
bors merged 3 commits into
rust-lang:masterfrom
BoxyUwU:enter_forall

reviews + rebase

f867742
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs