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