use core::convert::Infallible;
fn can_never_fail() -> Result<(), Infallible> {

Judging by recently discovered use of unwrap this might be a trap for some ;D