syntax_data: {"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
source_snippet:                     ) {
context_before:                         obligation.cause.span,
context_after:                         Some(obligations) => {