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 revisionBoth sides next revision
rfc:mixed-typehint [2019/02/08 00:28] – removed obsolete statement majklrfc:mixed-typehint [2019/02/08 00:49] – typo majkl
Line 36: Line 36:
 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.txt · Last modified: 2020/07/22 09:03 by kocsismate