Since rust-lang/rust#35162 was merged, ! is now a first-class type (albeit only in Nightly). For compatibility it would be nice if Void is redefined to be an alias for !.