{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"///"}]}
    /// Usually not written directly in user code but
    ///
    /// indirectly via the macro `type_ascribe!(...)`.