This is just a type alias of std::convert::Infallible and doesn't add anything specific to futures.
Given that it is relatively common to use std::convert::Infallible directly, it seems unlikely that we will need to provide our own type alias. (Actually, futures-sink uses Infallible directly.)
Related: #1832, #1836