{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"///"}]}
    /// ```ignore (not-rust)
    /// Semantically, we are type checking a pattern with structure:
    /// [before_0, ..., before_n, (slice, after_0, ... after_n)?]