{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"///"}]}
    /// // permitted to have generic args
    /// // ^^^^^^        ^^^^ *not* permitted to have generic args
    ///