{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"ptr_offset:"}]}
                        ptr_offset: tcx.sign_extend_to_target_isize(offset),
                        alloc_size,
                        inbounds_size: size,