Skip to content

Implement (most of) RFC 1214 - #27641

Merged
bors merged 38 commits into
rust-lang:masterfrom
nikomatsakis:soundness-rfc-1214
Aug 14, 2015
Merged

Implement (most of) RFC 1214#27641
bors merged 38 commits into
rust-lang:masterfrom
nikomatsakis:soundness-rfc-1214

Correct nits from @nrc

7f8942c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs