syntax_data: {"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"error_obligation:"}]}
source_snippet:         error_obligation: &Obligation<'tcx, T>,
context_before:         depth: usize,
context_after:     ) -> Result<(), OverflowError>