add real folder to Region

2023-09-28 12:32:15 +03:00 · 2023-09-28 12:32:15 +03:00 · bb17fe8bf5
commit bb17fe8bf5
parent da2f897e59
2 changed files with 40 additions and 3 deletions
--- a/compiler/rustc_smir/src/rustc_smir/mod.rs
+++ b/compiler/rustc_smir/src/rustc_smir/mod.rs
@ -1532,7 +1532,7 @@ impl<'tcx> Stable<'tcx> for ty::RegionKind<'tcx> {
                })
            }
            ty::ReErased => RegionKind::ReErased,
-            _=> unimplemented!()
+            _ => unimplemented!(),
        }
    }
 }