{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"addr"}]}
                    addr = addr.offset(ty_size * (from as usize));
                        self.size_of_sized(&inner_ty, locals, "array inner type should be sized")?;
                }