syntax_data: {"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"return"}]}
source_snippet:                         return Ok(EvaluatedToOk);
context_before:                     if term.is_trivially_wf(self.tcx()) {
context_after:                     }