{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"self.register_predicate(traits::Obligation::new("}]}
        self.register_predicate(traits::Obligation::new(
        let cause = self.cause(span, code);
            self.tcx,