{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            "explicit impls for the `{trait_name}` trait are not permitted"
        err.span_label(impl_header_span, format!("impl of `{trait_name}` not allowed"));