{"ast_node_type":"other","tokens":[{"end":101,"kind":"keyword","start":0,"text":"///"}]}
    /// On a function argument, "dereferenceable" here means "dereferenceable for the entire duration
    /// If `safe` is `Some`, then the pointer is either null or dereferenceable for this many bytes.
    /// of this function call", i.e. it is UB for the memory that this pointer points to be freed