syntax_data: {"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// point in the program may or may not be greater than the state at any preceding point.
context_before: /// to the same point in the program at different points in time. The dataflow state at a given
context_after: pub trait Analysis<'tcx> {