Shall `void` crate use this hack?

[vi]

rust-lang/rust#58733

trait MyTrait {
    type Output;
}

impl<T> MyTrait for fn() -> T {
    type Output = T;
}

type Void = <fn() -> ! as MyTrait>::Output;