Skip to content

Refactoring towards region obligation - #37717

Merged
bors merged 2 commits into
rust-lang:masterfrom
nikomatsakis:region-obligations-pre
Nov 17, 2016
Merged

Refactoring towards region obligation #37717
bors merged 2 commits into
rust-lang:masterfrom
nikomatsakis:region-obligations-pre

register `infer-ok` obligations properly

48dc6e2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs