rename MIR int2ptr casts to match library name

RalfJung · RalfJung · commit c7ab6b5030a3 · 2024-03-23T13:18:33.000+01:00
diff --git a/src/base.rs b/src/base.rs
@@ -642,7 +642,7 @@ fn codegen_stmt<'tcx>(
                     | CastKind::FnPtrToPtr
                     | CastKind::PtrToPtr
                     | CastKind::PointerExposeAddress
-                    | CastKind::PointerFromExposedAddress,
+                    | CastKind::PointerWithExposedProvenance,
                     ref operand,
                     to_ty,
                 ) => {
