{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// N.B., at present, we exclude the universal quantifiers on the
    ///
    /// item we are type-checking, and just consider those names as