{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// A constant that enters the type system, used for arguments to const generics (e.g. array lengths).
/// These are distinct from [`AnonConst`] as anon consts in the type system are not allowed