{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
/// - Types that are `!Copy` and `Drop`: these must be specified in the
///   This is odd but harmless, because an empty arena allocates no memory.
///   arguments. The `TypedArena` will be used for them.