{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// successors have been merged into a single "supernode".
/// The resulting supernodes have no obvious meaning on their own.