{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"#[derive(Diagnostic)]"}]}
#[derive(Diagnostic)]
/// "coverage attribute not allowed here"
#[diag(passes_coverage_attribute_not_allowed, code = E0788)]