{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"Obligation"}]}
        Obligation {
    fn child(&self, clause: ty::Clause<'tcx>) -> Self {
            cause: self.cause.clone(),