{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
/// There used to be a `MemEncoder` type that encoded all the data into a
///
/// `Vec`. `FileEncoder` is better because its memory use is determined by the