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