rfc:mixed-typehint
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
rfc:mixed-typehint [2019/02/07 23:48] – improved version with better language and variance rules majkl | rfc:mixed-typehint [2019/02/08 00:15] – missing word majkl | ||
---|---|---|---|
Line 22: | Line 22: | ||
- the value is of specific type, but the native type was forgotten. | - the value is of specific type, but the native type was forgotten. | ||
- | At the time of writing it is not possible between the abovementioned scenarios. | + | At the time of writing it is not possible |
Additionally, | Additionally, |
rfc/mixed-typehint.txt · Last modified: 2020/07/22 09:03 by kocsismate