rfc:noreturn_type

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
rfc:noreturn_type [2021/03/30 15:03] mattbrownrfc:noreturn_type [2021/03/31 13:47] – Make naming section more honest mattbrown
Line 137: Line 137:
 </code> </code>
  
-Returning ''noreturn'' is also allowed in __toString methods:+Returning ''noreturn'' is also allowed in %%__%%toString methods:
  
 <code php> <code php>
Line 225: Line 225:
 ==== Naming ==== ==== Naming ====
  
-Naming is hard, but we believe ''noreturn'' is the best name for this type.+Naming is hard. We each have different preferences.
  
 Arguments for ''noreturn'': Arguments for ''noreturn'':
Line 257: Line 257:
    * No    * No
 </doodle> </doodle>
 +
 +Following vote requires simple majority:
  
 <doodle title="noreturn vs never" auth="mattbrown" voteType="single" closed="false"> <doodle title="noreturn vs never" auth="mattbrown" voteType="single" closed="false">
rfc/noreturn_type.txt · Last modified: 2021/04/19 09:31 by nikic