{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"///"}]}
    /// from `U`.
    /// regions visible from `U`, but not less than regions not visible
    Empty(ty::UniverseIndex),