Open
Description
Location
https://doc.rust-lang.org/nightly/std/primitive.never.html#never-type-fallback
Summary
In the last parapgraph mentions changes that I believe have now been made
Historically, the fallback type was (), causing confusing behavior where ! spontaneously coerced to (), even when it would not infer () without the fallback. There are plans to change it in the 2024 edition (and possibly in all editions on a later date); see Tracking Issue for making ! fall back to !.