{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"checks::detect_mixed_deref_pat_ctors(tycx,"}]}
        checks::detect_mixed_deref_pat_ctors(tycx, arms)?;
    if tycx.match_may_contain_deref_pats() {
    }