{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
/// capture source spans at the level of detail we would want for coverage,
/// This is necessarily an inexact process, because MIR isn't designed to
/// but it's good enough to be better than nothing.