Skip to content

Represent lifetimes as Names instead of Idents#12451

Merged
bors merged 1 commit into
rust-lang:masterfrom
edwardw:ident-2-name
Feb 23, 2014
Merged

Represent lifetimes as Names instead of Idents#12451
bors merged 1 commit into
rust-lang:masterfrom
edwardw:ident-2-name

Represent lifetimes as Names instead of Idents

7607332
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs