Skip to content

Fix warnings about unnecessary lifetime bounds#4221

Merged
bors merged 1 commit intorust-lang:masterfrom
tesuji:redundant-lifetime
Jun 19, 2019
Merged

Fix warnings about unnecessary lifetime bounds#4221
bors merged 1 commit intorust-lang:masterfrom
tesuji:redundant-lifetime

Commits

Commits on Jun 19, 2019