Bump rustc version

Author: Nadrieril

engine/lib/import_thir.ml

@@ -480,7 +480,7 @@ end) : EXPR = struct
           (U.call Rust_primitives__hax__never_to_any [ c_expr source ] span typ)
             .e
       (* TODO: this is incorrect (NeverToAny) *)
-      | Pointer { cast; source } -> c_pointer e typ span cast source
+      | PointerCoercion { cast; source } -> c_pointer e typ span cast source
       | Loop { body } ->
           let body = c_expr body in
           Loop
@@ -907,7 +907,7 @@ end) : EXPR = struct
         (*       ^ [%show: expr] source)) *)
     | _ ->
         unimplemented [ e.span ]
-          ("Pointer, with [cast] being " ^ [%show: Thir.pointer_cast] cast)
+          ("Pointer, with [cast] being " ^ [%show: Thir.pointer_coercion] cast)
 
   and c_ty (span : Thir.span) (ty : Thir.ty) : ty =
     match ty with

frontend/exporter/src/types/copied.rs

@@ -1979,11 +1979,11 @@ pub enum Unsafety {
     Normal,
 }
 
-/// Reflects [`rustc_middle::ty::adjustment::PointerCast`]
+/// Reflects [`rustc_middle::ty::adjustment::PointerCoercion`]
 #[derive(AdtInto)]
-#[args(<S>, from: rustc_middle::ty::adjustment::PointerCast, state: S as gstate)]
+#[args(<S>, from: rustc_middle::ty::adjustment::PointerCoercion, state: S as gstate)]
 #[derive(Clone, Debug, Serialize, Deserialize, JsonSchema)]
-pub enum PointerCast {
+pub enum PointerCoercion {
     ReifyFnPointer,
     UnsafeFnPointer,
     ClosureFnPointer(Unsafety),
@@ -2338,8 +2338,8 @@ pub enum ExprKind {
     NeverToAny {
         source: Expr,
     },
-    Pointer {
-        cast: PointerCast,
+    PointerCoercion {
+        cast: PointerCoercion,
         source: Expr,
     },
     Loop {

frontend/exporter/src/types/mir.rs

@@ -903,7 +903,7 @@ pub enum AggregateKind {
 pub enum CastKind {
     PointerExposeAddress,
     PointerFromExposedAddress,
-    Pointer(PointerCast),
+    PointerCoercion(PointerCoercion),
     DynStar,
     IntToInt,
     FloatToInt,

rust-toolchain.toml

@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly-2023-07-08"
+channel = "nightly-2023-07-10"
 components = [ "rustc-dev", "llvm-tools-preview" , "rust-analysis" , "rust-src" , "rustfmt" ]