- re_empty: mk_region(RegionKind::ReEmpty),
- re_static: mk_region(RegionKind::ReStatic),
- re_erased: mk_region(RegionKind::ReErased),
+impl<'tcx> CommonLifetimes<'tcx> {
+ fn new(interners: &CtxtInterners<'tcx>) -> CommonLifetimes<'tcx> {
+ let mk = |r| {
+ interners.region.borrow_mut().intern(r, |r| {
+ Interned(interners.arena.alloc(r))
+ }).0
+ };
+
+ CommonLifetimes {
+ re_empty: mk(RegionKind::ReEmpty),
+ re_static: mk(RegionKind::ReStatic),
+ re_erased: mk(RegionKind::ReErased),