{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                // but rather that there's a prior obligation that doesn't hold.
                // The reason for the first arm to fail is not that the match arms diverge,
                None => ObligationCauseCode::BlockTailExpression(arm.body.hir_id, match_src),