{"ast_node_type":"function","tokens":[{"end":100,"kind":"keyword","start":0,"text":"fn"}]}
    fn register_goals(&mut self, goals: impl IntoIterator<Item = Goal<'tcx, ty::Predicate<'tcx>>>) {
        self.obligations.extend(goals.into_iter().map(|goal| {