{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    /// Semantically, we are type checking a pattern with structure:
    /// Syntactically, these look like `[pat_0, ..., pat_n]`.
    /// ```ignore (not-rust)