{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":")"}]}
    ) -> RegionVid {
        origin: RegionVariableOrigin,
        let vid = self.storage.var_infos.push(RegionVariableInfo { origin, universe });