Skip to content

Improve the "must use" lint for Future#60808

Merged
bors merged 1 commit intorust-lang:masterfrom
Schultzer:improve-must-use-linit-for-future
May 14, 2019
Merged

Improve the "must use" lint for `Future`#60808
bors merged 1 commit intorust-lang:masterfrom
Schultzer:improve-must-use-linit-for-future

Commits

Commits on May 13, 2019