syntax_data: {"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"'compute_res:"}]}
source_snippet:                             'compute_res: {
context_before:                         ProjectAndUnifyResult::Holds(mut subobligations) => {
context_after:                                 // If we've previously marked this projection as 'complete', then