{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// The highest universe index nameable by the caller.
    /// When we enter a new binder inside of the query we create new universes