{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Allocates a list from `arena` and copies the contents of `slice` into it.
    /// WARNING: the contents *must be unique*, such that no list with these