{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    ///                  (Ty(w), [ &[p, x], &[c] ])
    /// ```ignore (illustrative)
    /// //                              |