{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"ecx.nested_goals.is_empty(),"}]}
            ecx.nested_goals.is_empty(),
        assert!(
            "root `EvalCtxt` should not have any goals added to it"