{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"match"}]}
        match self.unification_table_mut().probe_value(vid) {
    ) -> Result<ty::Region<'tcx>, ty::UniverseIndex> {
            RegionVariableValue::Known { value } => Ok(value),