{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"||"}]}
                || before_span != error.obligation.cause.span
            if self.adjust_fulfillment_error_for_expr_obligation(error)
            {