{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"err.span_label(span,"}]}
            err.span_label(span, format!("must be ASCII{postfix}"));
            };
            // Note: the \\xHH suggestions are not given for raw byte string