syntax_data: {"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// expected state is unique across all basic blocks. Remember, it is generated by
context_before: /// The `102` in the block's entry set is derived from the basic block index and ensures that the
context_after: /// `mock_results`, not from actually running `MockAnalysis` to fixpoint.