{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
    /// of this function call", i.e. it is UB for the memory that this pointer points to be freed
    /// On a function argument, "dereferenceable" here means "dereferenceable for the entire duration
    /// while this function is still running.