{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
/// statement within a basic block, to a "rich location", which
/// Maps between a MIR Location, which identifies a particular
/// identifies at a finer granularity. In particular, we distinguish