This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
dev:crosscompiler:type_checking [2019/07/12 13:58] – ursgraf | dev:crosscompiler:type_checking [2019/07/12 15:38] – ursgraf | ||
---|---|---|---|
Line 14: | Line 14: | ||
==== Special Case ' | ==== Special Case ' | ||
- | When you check against //Object//, the result must be '' | + | When you check against //Object//, the result must be '' |
A check against an array of //Object// leads to two cases: | A check against an array of //Object// leads to two cases: | ||
- The reference points to an array of regular classes: the check returns '' | - The reference points to an array of regular classes: the check returns '' |