{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
                        // Yeet the errors, we're already reporting errors.
                    self.select_obligations_where_possible(|errs| {
                        errs.clear();