{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"///"}]}
    /// bound.
    /// when we enter into a higher-ranked (`for<..>`) type or trait
    universe: Cell<ty::UniverseIndex>,