{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
                // The reason for the first arm to fail is not that the match arms diverge,
            let code = match prior_arm {
                // but rather that there's a prior obligation that doesn't hold.