{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// however we pack them in a single pointer, to save space.
    /// This is semantically a pair of `pointer: &'a P` and `tag: T` fields,
    ///