syntax_data: {"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"Err(())"}]}
source_snippet:             Err(()) => {
context_before:             Ok(args) => args,
context_after:                 let predicate = self.infcx.resolve_vars_if_possible(obligation.predicate);