{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"///"}]}
    /// `self.universe` and `self.region`.
    /// If `universe` is less than our current universe, then update
    fn take_min(&mut self, universe: ty::UniverseIndex, region: ty::Region<'tcx>) {