{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
    /// * raw pointers derived from integers, other raw pointers will have already resulted in an
    ///   much simpler.
    //    error.