Never type was unstabilized #344

Activity

1. Havvy

   added

   C-bugIncorrect statements, terminology, or rendering issuesIncorrect statements, terminology, or rendering issues

   on May 22, 2018
2. ehuss

   added

   A-typesArea: TypesArea: Types

   on Mar 11, 2019
3. ehuss commented on Nov 21, 2019

   

   ehuss

   on Nov 21, 2019

   Contributor

   More actions

   @Centril I'm guessing that the reference should probably include more detail on the never type (https://github.com/rust-lang/reference/blob/master/src/types/never.md is pretty slim), would you agree? Is that something you'd like to do? If not, I can probably try to figure out what could be added, but an outline of what would be useful to add would be helpful.

   (And congratulations on getting it stabilized. 😄 )
4. Centril commented on Nov 21, 2019

   

   Centril

   on Nov 21, 2019

   Contributor

   More actions

   @ehuss It seems roughly in good shape, but I would probably extend that with:

   • An explanation of that it is equivalent to enum Void {} except for the implicit coercion behavior. -- contrast & compare.
   • A note wrt. the inference fallback being () (for now, with a link to Tracking issue for fallback of diverging expressions to the never_type (!) rust#65992).

   If you have a sec to file the PR that would be neat!

   (And congratulations on getting it stabilized. 😄 )

   Thanks! (I wonder how long it lasts... 😅)
5. ehuss commented on Nov 24, 2019

   

   ehuss

   on Nov 24, 2019

   Contributor

   More actions

   Closing this as it has been re-stabilized. rust-lang/rust#65355
6. ehuss

   closed this as completedon Nov 24, 2019