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