{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"\"EvalCtxt"}]}
            "EvalCtxt is tainted -- nested goals may have been dropped in a \
            Ok(()),
            previous call to `try_evaluate_added_goals!`"