Add IntoFuture::into_future
desugaring#1233
Merged
ehuss merged 2 commits intorust-lang:masterfrom Jul 22, 2022
Merged
Commits
Commits on Jul 1, 2022
Commits on Jul 22, 2022
- authored
IntoFuture::into_future
desugaring#1233