{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"#[derive(Diagnostic)]"}]}
#[derive(Diagnostic)]
#[diag(hir_analysis_invalid_receiver_ty_no_arbitrary_self_types, code = E0307)]