{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"///"}]}
    /// [`BranchPatUsefulness`])
    /// Whether the head pattern is a branch (see definition of "branch pattern" at
    head_is_branch: bool,