{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"mir::StatementKind::Coverage(coverage)"}]}
            mir::StatementKind::Coverage(coverage) => {
            }
                crate::mir::StatementKind::Coverage(opaque(coverage))