Skip to content

Remove lifetime bounds in higher-ranked lifetimes#62

Merged
bors[bot] merged 1 commit intorustgd:masterfrom
RalfJung:master
Mar 9, 2018
Merged

Remove lifetime bounds in higher-ranked lifetimes#62
bors[bot] merged 1 commit intorustgd:masterfrom
RalfJung:master

Commits

Commits on Mar 9, 2018