{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"CheckInAllocMsg::Dereferenceable,"}]}
                    CheckInAllocMsg::Dereferenceable,
                    dist.checked_neg().unwrap(), // i64::MIN is impossible as no allocation can be that large
                )