{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"///"}]}
    /// useful to get the length of an array type.
    /// Convenience method to extract the value of a usize constant,
    ///