rfc:mixed-typehint

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
rfc:mixed-typehint [2019/02/08 00:28]
majkl removed obsolete statement
rfc:mixed-typehint [2019/02/08 00:49]
majkl typo
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: 2019/02/08 00:49 by majkl