{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"///"}]}
    /// we reject the relation.
    /// instantiated. If we find anything that this universe cannot name,
    for_universe: ty::UniverseIndex,