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 15:44] – ursgraf | dev:crosscompiler:type_checking [2019/07/16 08:16] – ursgraf | ||
---|---|---|---|
Line 79: | Line 79: | ||
Object[][][] o = new Object[2][3][4]; | Object[][][] o = new Object[2][3][4]; | ||
A[] x = new AA[5]; | A[] x = new AA[5]; | ||
- | | + | |
- | | + | |
short[][] y = new short[2][3]; | short[][] y = new short[2][3]; | ||
- | | + | |
- | | + | |
</ | </ | ||
leads to\\ | leads to\\ | ||
[{{ .: | [{{ .: | ||
This example can be found in the test cases (// | This example can be found in the test cases (// |