{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// item we are type-checking, and just consider those names as
    /// N.B., at present, we exclude the universal quantifiers on the
    /// part of the root universe. So this would only get incremented