diff --git a/compiler/rustc_middle/src/lib.rs b/compiler/rustc_middle/src/lib.rs
index 7e4063c2ffd..95148de2518 100644
--- a/compiler/rustc_middle/src/lib.rs
+++ b/compiler/rustc_middle/src/lib.rs
@@ -43,6 +43,7 @@
 #![feature(min_specialization)]
 #![feature(trusted_len)]
 #![feature(type_alias_impl_trait)]
+#![feature(strict_provenance)]
 #![feature(associated_type_bounds)]
 #![feature(rustc_attrs)]
 #![feature(control_flow_enum)]
diff --git a/compiler/rustc_middle/src/ty/context/tls.rs b/compiler/rustc_middle/src/ty/context/tls.rs
index f1fe47f6ba6..71b025dc1be 100644
--- a/compiler/rustc_middle/src/ty/context/tls.rs
+++ b/compiler/rustc_middle/src/ty/context/tls.rs
@@ -55,16 +55,16 @@ mod tlv {
     /// Gets Rayon's thread-local variable, which is preserved for Rayon jobs.
     /// This is used to get the pointer to the current `ImplicitCtxt`.
     #[inline]
-    pub(super) fn get_tlv() -> usize {
-        rayon_core::tlv::get()
+    pub(super) fn get_tlv() -> *const () {
+        ptr::from_exposed_addr(rayon_core::tlv::get())
     }
 
     /// Sets Rayon's thread-local variable, which is preserved for Rayon jobs
     /// to `value` during the call to `f`. It is restored to its previous value after.
     /// This is used to set the pointer to the new `ImplicitCtxt`.
     #[inline]
-    pub(super) fn with_tlv<F: FnOnce() -> R, R>(value: usize, f: F) -> R {
-        rayon_core::tlv::with(value, f)
+    pub(super) fn with_tlv<F: FnOnce() -> R, R>(value: *const (), f: F) -> R {
+        rayon_core::tlv::with(value.expose_addr(), f)
     }
 }
 
@@ -75,12 +75,12 @@ mod tlv {
 
     thread_local! {
         /// A thread local variable that stores a pointer to the current `ImplicitCtxt`.
-        static TLV: Cell<usize> = const { Cell::new(0) };
+        static TLV: Cell<*const ()> = const { Cell::new(ptr::null()) };
     }
 
     /// Gets the pointer to the current `ImplicitCtxt`.
     #[inline]
-    pub(super) fn get_tlv() -> usize {
+    pub(super) fn get_tlv() -> *const () {
         TLV.with(|tlv| tlv.get())
     }
 
@@ -88,7 +88,7 @@ mod tlv {
     /// It is restored to its previous value after.
     /// This is used to set the pointer to the new `ImplicitCtxt`.
     #[inline]
-    pub(super) fn with_tlv<F: FnOnce() -> R, R>(value: usize, f: F) -> R {
+    pub(super) fn with_tlv<F: FnOnce() -> R, R>(value: *const (), f: F) -> R {
         let old = get_tlv();
         let _reset = rustc_data_structures::OnDrop(move || TLV.with(|tlv| tlv.set(old)));
         TLV.with(|tlv| tlv.set(value));
@@ -96,13 +96,23 @@ mod tlv {
     }
 }
 
+#[inline]
+fn erase(context: &ImplicitCtxt<'_, '_>) -> *const () {
+    context as *const _ as *const ()
+}
+
+#[inline]
+unsafe fn downcast<'a, 'tcx>(context: *const ()) -> &'a ImplicitCtxt<'a, 'tcx> {
+    &*(context as *const ImplicitCtxt<'a, 'tcx>)
+}
+
 /// Sets `context` as the new current `ImplicitCtxt` for the duration of the function `f`.
 #[inline]
 pub fn enter_context<'a, 'tcx, F, R>(context: &ImplicitCtxt<'a, 'tcx>, f: F) -> R
 where
     F: FnOnce(&ImplicitCtxt<'a, 'tcx>) -> R,
 {
-    tlv::with_tlv(context as *const _ as usize, || f(&context))
+    tlv::with_tlv(erase(context), || f(&context))
 }
 
 /// Allows access to the current `ImplicitCtxt` in a closure if one is available.
@@ -112,14 +122,14 @@ where
     F: for<'a, 'tcx> FnOnce(Option<&ImplicitCtxt<'a, 'tcx>>) -> R,
 {
     let context = tlv::get_tlv();
-    if context == 0 {
+    if context.is_null() {
         f(None)
     } else {
         // We could get an `ImplicitCtxt` pointer from another thread.
         // Ensure that `ImplicitCtxt` is `Sync`.
         sync::assert_sync::<ImplicitCtxt<'_, '_>>();
 
-        unsafe { f(Some(&*(context as *const ImplicitCtxt<'_, '_>))) }
+        unsafe { f(Some(downcast(context))) }
     }
 }