{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.table.register_obligation(o.cast(Interner));"}]}
        self.table.register_obligation(o.cast(Interner));
    fn push_obligation(&mut self, o: DomainGoal) {
    }