Skip to content

adopt "placeholders" to represent universally quantified regions#54649

Merged
bors merged 10 commits into
rust-lang:masterfrom
nikomatsakis:universes-refactor-1
Oct 4, 2018
Merged

adopt "placeholders" to represent universally quantified regions#54649
bors merged 10 commits into
rust-lang:masterfrom
nikomatsakis:universes-refactor-1

s/skol_predicate/placeholder_predicate

85b9956
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs