Consider removing -> !

[brson]

As mentioned in #7538, ! could be represented as an uninhabited type.

[emberian]

If we do do this, I'd like the name to be NoReturn, ie, fn foo() -> NoReturn. Void is an awful name.

[nikomatsakis]

I'd prefer to leave it as !, I think. Using Void (or NoReturn) would be better if the return value were treated just like any other type, but faliing functions are treated very specially by all flow-sensitive checkers, and I find the use of a symbol more indicative of that special treatment.

[nikomatsakis]

If we WERE to do this, probably Fail would be the right name, though. (imo)

[bstrie]

Nominating for Well-Defined.

[brson]

I also prefer not to remove !

[bblum]

functions that infinite loop also return !, so i don't think fail would be an appropriate name. ! is fine, but i wonder if we could also allow it to be a type name in other locations, and remove the Void enum in util?

[catamorphism]

We decided to reject this proposal