{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
    /// pattern as a whole counts as a never pattern (since it's definitionallly unreachable).
    /// Moreover, if all the subpatterns are never patterns (e.g. `Ok(!) | Err(!)`), then the
    fn compute_and_check_or_pat_binding_map(