{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
/// since [`TyKind::Adt`] includes [`AdtDef`], which includes its fields,
/// It may seem impossible to represent recursive types using [`Ty`],
/// creating a cycle. However, `AdtDef` does not actually include the *types*