{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"inbounds_size:"}]}
                    inbounds_size: size,
                    addr: offset,
                    msg: CheckInAllocMsg::Dereferenceable