This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
dev:crosscompiler:type_checking [2019/07/16 12:07] – ursgraf | dev:crosscompiler:type_checking [2022/12/20 11:43] (current) – ursgraf | ||
---|---|---|---|
Line 87: | Line 87: | ||
leads to\\ | leads to\\ | ||
[{{ .: | [{{ .: | ||
- | This example can be found in the test cases (//ch.ntb.inf.deep.comp.targettest.arrays.ArrayInstanceTest.testInstance4// | + | This example can be found in the test cases (//org.deepjava.comp.targettest.arrays.ArrayInstanceTest.testInstance4// |