{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"///"}]}
/// - Has no fields.
/// - Is a zero-sized type with alignment 1 (a “1-ZST”).
/// - Does not have the `#[non_exhaustive]` attribute.