{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"relevant:"}]}
    relevant: bool,
    /// to skip a case entirely. This is purely an optimization. See at the top for details.
}