rfc:noreturn_type
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
rfc:noreturn_type [2021/03/30 15:03] – mattbrown | rfc:noreturn_type [2021/03/31 13:47] – Make naming section more honest mattbrown | ||
---|---|---|---|
Line 137: | Line 137: | ||
</ | </ | ||
- | Returning '' | + | Returning '' |
<code php> | <code php> | ||
Line 225: | Line 225: | ||
==== Naming ==== | ==== Naming ==== | ||
- | Naming is hard, but we believe '' | + | Naming is hard. We each have different preferences. |
Arguments for '' | Arguments for '' | ||
Line 257: | Line 257: | ||
* No | * No | ||
</ | </ | ||
+ | |||
+ | Following vote requires simple majority: | ||
<doodle title=" | <doodle title=" |
rfc/noreturn_type.txt · Last modified: 2021/04/19 09:31 by nikic