{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            format!("negative integers cannot be used to index on a `{ty}`"),
        err.span_label(span, format!("cannot use a negative integer for indexing on `{ty}`"));