{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"///"}]}
    /// to skip a case entirely. This is purely an optimization. See at the top for details.
    /// by a different, more general, case. When the case is irrelevant for all rows this allows us
    relevant: bool,