{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"///"}]}
/// Note that not every CrateDef has a type `Ty`. They should not implement this trait.
///
pub trait CrateDefType: CrateDef {