Correctly apply offset to tyconst in array size (#641)

The first quick fix for this used the wrong field names (missing
`ArrayType` field before `size`).

Author: jberthold

kmir/src/kmir/linker.py

@@ -80,8 +80,8 @@ def apply_offset_typeInfo(typeinfo: dict, offset: int) -> dict:
         typeinfo['UnionType']['adt_def'] = typeinfo['UnionType']['adt_def'] + offset
     elif 'ArrayType' in typeinfo:
         typeinfo['ArrayType']['elem_type'] = typeinfo['ArrayType']['elem_type'] + offset
-        if 'size' in typeinfo:
-            apply_offset_tyconst(typeinfo['size'], offset)
+        if 'size' in typeinfo['ArrayType'] and typeinfo['ArrayType']['size'] is not None:
+            apply_offset_tyconst(typeinfo['ArrayType']['size']['kind'], offset)
     elif 'PtrType' in typeinfo:
         typeinfo['PtrType']['pointee_type'] = typeinfo['PtrType']['pointee_type'] + offset
     elif 'RefType' in typeinfo: