syntax_data: {"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// `mock_results`, not from actually running `MockAnalysis` to fixpoint.
context_before: /// expected state is unique across all basic blocks. Remember, it is generated by
context_after: struct MockAnalysis<'tcx, D> {