syntax_data: {"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"#[allow(rustc::bad_opt_access)]"}]}
source_snippet:     #[allow(rustc::bad_opt_access)]
context_before:     // JUSTIFICATION: defn of the suggested wrapper fn
context_after:     pub fn instrument_coverage(&self) -> InstrumentCoverage {