{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"solve::Goal"}]}
        solve::Goal { param_env: self.param_env, predicate: self.predicate }
    pub fn as_goal(&self) -> solve::Goal<'tcx, T> {
    }