{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"error.obligation.cause.code(),"}]}
            error.obligation.cause.code(),
        let expr = match self.blame_specific_expr_if_possible_for_obligation_cause_code(
            expr,