{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"bcbs_seen:"}]}
    bcbs_seen: &DenseBitSet<BasicCoverageBlock>,
    bcb_needs_counter: &DenseBitSet<BasicCoverageBlock>,
) -> CoverageCounters {