{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"//"}]}
    //    error.
    /// * raw pointers derived from integers, other raw pointers will have already resulted in an
    /// * `String`, if `string_deref_patterns` is enabled.