map member to representative

Author: lcnr

compiler/rustc_borrowck/src/region_infer/opaque_types.rs

@@ -248,7 +248,7 @@ impl<'tcx> OpaqueHiddenTypeFolder<'_, 'tcx> {
     #[instrument(level = "debug", skip(self))]
     fn apply_member_constraint(&mut self, r: RegionVid) -> Option<Region<'tcx>> {
         let member = self.constraint_sccs.scc(r);
-
+        let r = self.constraint_sccs.annotation(member).representative;
         if let Some((_, reg)) = self.arg_regions.iter().copied().find(|&(vid, _)| vid == r) {
             debug!("member equal to arg");
             return Some(reg);