{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// the case of `Symbol` where it has to allocate a `String`.)
/// See the documentation of [StableOrd] for how stable sort order is defined.