{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"pub(super)"}]}
    pub(super) var_infos: IndexVec<RegionVid, RegionVariableInfo>,
    /// For each `RegionVid`, the corresponding `RegionVariableOrigin`.