rfc:mixed-typehint

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
rfc:mixed-typehint [2019/02/08 00:28] – removed obsolete statement majklrfc:mixed-typehint [2020/07/22 09:03] (current) kocsismate
Line 1: Line 1:
-====== PHP RFC: Mixed typehint ======+====== PHP RFC: Mixed typehint (obsolete) ======
   * Version: 1.2   * Version: 1.2
   * Date: 2017-07-19   * Date: 2017-07-19
   * Revived: 2019-02-07   * Revived: 2019-02-07
   * Author: Michael Moravec (php.net@majkl578.cz)   * Author: Michael Moravec (php.net@majkl578.cz)
-  * Status: In Draft+  * Status: Obsolete
   * First Published at: http://wiki.php.net/rfc/mixed-typehint   * First Published at: http://wiki.php.net/rfc/mixed-typehint
 +  * Superseded by: [[rfc:mixed_type_v2|https://wiki.php.net/rfc/mixed_type_v2]]
  
 ===== Introduction ===== ===== Introduction =====
Line 36: Line 37:
 Due to this difference, ''void'' is not a subtype of ''mixed''. Due to this difference, ''void'' is not a subtype of ''mixed''.
  
-===== Type system hiearchy =====+===== Type system hierarchy =====
  
 <code> <code>
rfc/mixed-typehint.1549585735.txt.gz · Last modified: 2019/02/08 00:28 by majkl