{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"Ok(()),"}]}
            Ok(()),
            self.tainted,
            "EvalCtxt is tainted -- nested goals may have been dropped in a \