{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// A type ascription (e.g., `builtin # type_ascribe(42, usize)`).
    /// Usually not written directly in user code but