syntax_data: {"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// Adds `obligations` to the stack.
context_before: impl<I: Interner, O: Elaboratable<I>> Elaborator<I, O> {
context_after:     fn extend_deduped(&mut self, obligations: impl IntoIterator<Item = O>) {