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:38] – ursgraf | dev:crosscompiler:type_checking [2019/07/12 15:44] – ursgraf | ||
---|---|---|---|
Line 77: | Line 77: | ||
The following code | The following code | ||
<code java> | <code java> | ||
- | Object[][][] | + | Object[][][] |
A[] x = new AA[5]; | A[] x = new AA[5]; | ||
a1[0][0] = x; | a1[0][0] = x; |