Fix the bug

Author: amandasystems

compiler/rustc_borrowck/src/region_infer/mod.rs

@@ -479,6 +479,7 @@ pub(crate) struct TypeTest<'tcx> {
 }
 
 impl<'t> TypeTest<'t> {
+    #[instrument(skip(sccs, scc_annotations, universal_regions), ret)]
     fn bound_has_universe_violation(
         bound: &VerifyBound<'t>,
         lower_scc: ConstraintSccIndex,
@@ -490,8 +491,13 @@ impl<'t> TypeTest<'t> {
         match bound {
             // An outlives constraint is equivalent to requiring the universe of that region.
             VerifyBound::OutlivedBy(region) => {
-                let bound = scc_annotations[sccs.scc(universal_regions.to_region_vid(*region))];
-                !bound.universe_compatible_with(lower)
+                let rvid = universal_regions.to_region_vid(*region);
+                if rvid == universal_regions.fr_static {
+                    false
+                } else {
+                    let bound = scc_annotations[sccs.scc(rvid)];
+                    !bound.universe_compatible_with(lower)
+                }
             }
             // This one is not obvious, but the argument goes something like this:
             // equality is implemented in a later check as verifying that they
@@ -526,6 +532,7 @@ impl<'t> TypeTest<'t> {
         }
     }
 
+    #[instrument(skip(sccs, tcx, universal_regions, scc_annotations), ret)]
     pub(crate) fn rewrite_higher_kinded_constraints(
         self,
         sccs: &Sccs<RegionVid, ConstraintSccIndex>,