diff --git a/Cargo.lock b/Cargo.lock
index 00c4de6d..05dcf1ab 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -508,7 +508,7 @@ checksum = "c0ff37bd590ca25063e35af745c343cb7a0271906fb7b37e4813e8f79f00268d"
 dependencies = [
  "bitflags 2.6.0",
  "libc",
- "redox_syscall 0.5.7",
+ "redox_syscall 0.5.8",
 ]
 
 [[package]]
@@ -745,9 +745,9 @@ dependencies = [
 
 [[package]]
 name = "redox_syscall"
-version = "0.5.7"
+version = "0.5.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9b6dfecf2c74bce2466cabf93f6664d6998a69eb21e39f4207930065b27b771f"
+checksum = "03a862b389f93e68874fbf580b9de08dd02facb9a788ebadaf4a3fd33cf58834"
 dependencies = [
  "bitflags 2.6.0",
 ]
@@ -848,18 +848,18 @@ dependencies = [
 
 [[package]]
 name = "serde"
-version = "1.0.215"
+version = "1.0.216"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6513c1ad0b11a9376da888e3e0baa0077f1aed55c17f50e7b2397136129fb88f"
+checksum = "0b9781016e935a97e8beecf0c933758c97a5520d32930e460142b4cd80c6338e"
 dependencies = [
  "serde_derive",
 ]
 
 [[package]]
 name = "serde_derive"
-version = "1.0.215"
+version = "1.0.216"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ad1e866f866923f252f05c889987993144fb74e722403468a4ebd70c3cd756c0"
+checksum = "46f859dbbf73865c6627ed570e78961cd3ac92407a2d117204c49232485da55e"
 dependencies = [
  "proc-macro2",
  "quote",
diff --git a/binaries/summary_store.tar b/binaries/summary_store.tar
index 54f5644b..28dea2bf 100644
Binary files a/binaries/summary_store.tar and b/binaries/summary_store.tar differ
diff --git a/checker/src/abstract_value.rs b/checker/src/abstract_value.rs
index 0481f6fe..e021f214 100644
--- a/checker/src/abstract_value.rs
+++ b/checker/src/abstract_value.rs
@@ -1955,6 +1955,10 @@ impl AbstractValueTrait for Rc<AbstractValue> {
                             return left.cast(target_type);
                         }
                     }
+                    Expression::Reference(..) if target_type.is_integer() => {
+                        // [(&x) as t] -> &x if t is an integer
+                        return self.clone();
+                    }
                     // [(v : t1) as target_type] -> (v: t1) if t1.max_value() == target_type.max_value()
                     Expression::Variable { var_type: t1, .. }
                     | Expression::InitialParameterValue { var_type: t1, .. } => {
@@ -2084,15 +2088,15 @@ impl AbstractValueTrait for Rc<AbstractValue> {
             // [if !(x) { a } else { b }] -> if x { b } else { a }
             return operand.conditional_expression(alternate, consequent);
         }
-        // [if 0 == x { y } else { true }] -> x || y
-        // [if 0 == x { false } else { y }] -> x && y
+        // [if 0 == x { y } else { true }] -> x != 0 || y
+        // [if 0 == x { false } else { y }] -> x != 0 && y
         if let Expression::Equals { left: z, right: x } = &self.expression {
             if let Expression::CompileTimeConstant(ConstantDomain::U128(0)) = z.expression {
                 if alternate.as_bool_if_known().unwrap_or(false) {
-                    return x.or(consequent);
+                    return x.not_equals(z.clone()).or(consequent);
                 }
                 if !consequent.as_bool_if_known().unwrap_or(true) {
-                    return x.and(alternate);
+                    return x.not_equals(z.clone()).and(alternate);
                 }
             }
         }
@@ -4851,6 +4855,13 @@ impl AbstractValueTrait for Rc<AbstractValue> {
     /// Returns an element that is "self % other".
     #[logfn_inputs(TRACE)]
     fn remainder(&self, other: Rc<AbstractValue>) -> Rc<AbstractValue> {
+        // [(x % y) % y] -> x % y
+        if let Expression::Rem { left: x, right: y } = &self.expression {
+            if y.eq(&other) {
+                return x.clone();
+            }
+        }
+
         // [(x as t) % c] -> x % c if c.is_power_of_two() && c <= t.modulo_value()
         if let Expression::Cast { operand: x, .. } = &self.expression {
             let ct = x.expression.infer_type();
@@ -6842,9 +6853,26 @@ impl AbstractValueTrait for Rc<AbstractValue> {
     /// or zero filled as appropriate.
     #[logfn_inputs(TRACE)]
     fn transmute(&self, target_type: ExpressionType) -> Rc<AbstractValue> {
-        if target_type.is_integer() && self.expression.infer_type().is_integer() {
+        let expression_type = self.expression.infer_type();
+        if expression_type == target_type {
+            self.clone()
+        } else if target_type.is_integer()
+            || target_type == ExpressionType::ThinPointer && expression_type.is_integer()
+        {
             self.unsigned_modulo(target_type.bit_length())
-                .cast(target_type)
+                .try_to_constant_fold_and_distribute_typed_unary_op(
+                    target_type,
+                    ConstantDomain::transmute,
+                    Self::transmute,
+                    |o, t| {
+                        AbstractValue::make_typed_unary(o, t, |operand, target_type| {
+                            Expression::Transmute {
+                                operand,
+                                target_type,
+                            }
+                        })
+                    },
+                )
         } else if target_type == ExpressionType::Bool {
             self.unsigned_modulo(target_type.bit_length())
                 .not_equals(Rc::new(ConstantDomain::U128(0).into()))
@@ -6943,17 +6971,22 @@ impl AbstractValueTrait for Rc<AbstractValue> {
     }
 
     /// Returns an expression that discards (zero fills) bits that are not in the specified number
-    /// of least significant bits. The result is an unsigned integer.
-    #[logfn(TRACE)]
+    /// of least-significant bits. The result is an unsigned integer.
+    #[logfn_inputs(TRACE)]
     fn unsigned_modulo(&self, num_bits: u8) -> Rc<AbstractValue> {
         if let Expression::CompileTimeConstant(c) = &self.expression {
             Rc::new(c.unsigned_modulo(num_bits).into())
-        } else if num_bits == 128 {
-            self.try_to_retype_as(ExpressionType::U128)
         } else {
-            let power_of_two = Rc::new(ConstantDomain::U128(1 << num_bits).into());
-            let unsigned = self.try_to_retype_as(ExpressionType::U128);
-            unsigned.remainder(power_of_two)
+            let expression_type = self.expression.infer_type();
+            if expression_type.bit_length() == num_bits {
+                self.clone()
+            } else if num_bits == 128 {
+                self.try_to_retype_as(ExpressionType::U128)
+            } else {
+                let power_of_two = Rc::new(ConstantDomain::U128(1 << num_bits).into());
+                let unsigned = self.try_to_retype_as(ExpressionType::U128);
+                unsigned.remainder(power_of_two)
+            }
         }
     }
 
diff --git a/checker/src/block_visitor.rs b/checker/src/block_visitor.rs
index ce3f62b2..3dd61b80 100644
--- a/checker/src/block_visitor.rs
+++ b/checker/src/block_visitor.rs
@@ -2197,17 +2197,24 @@ impl<'block, 'analysis, 'compilation, 'tcx> BlockVisitor<'block, 'analysis, 'com
             }
             mir::CastKind::Transmute => {
                 let source_type = self.get_operand_rustc_type(operand);
-                let source_value = self.visit_operand(operand);
-                let source_path = Path::get_as_path(source_value.clone());
-                let path = if source_value.is_function() {
-                    Path::new_function(path)
-                } else {
-                    path
+                let (source_path, target_path) = match operand {
+                    mir::Operand::Copy(place) |
+                    mir::Operand::Move(place) => (self.visit_lh_place(place), path),
+                    mir::Operand::Constant(..) => {
+                        let source_value = self.visit_operand(operand);
+                        let source_path = Path::get_as_path(source_value.clone());
+                        let target_path = if source_value.is_function() {
+                            Path::new_function(path)
+                        } else {
+                            path
+                        };
+                        (source_path, target_path)
+                    }
                 };
                 self.bv.copy_and_transmute(
                     source_path,
                     source_type,
-                    path,
+                    target_path,
                     ty,
                 );
             }
@@ -2241,7 +2248,7 @@ impl<'block, 'analysis, 'compilation, 'tcx> BlockVisitor<'block, 'analysis, 'com
                         .get_operand_path(operand)
                         .canonicalize(&self.bv.current_environment);
                     if !self.type_visitor().is_slice_pointer(ty.kind()) {
-                        source_path = Path::new_field(source_path, 0);
+                        source_path = Path::new_field(source_path, 0).canonicalize(&self.bv.current_environment);
                     }
                     if let mir::Operand::Move(..) = operand {
                         self.bv
diff --git a/checker/src/body_visitor.rs b/checker/src/body_visitor.rs
index 24d2df74..0e2ce3d7 100644
--- a/checker/src/body_visitor.rs
+++ b/checker/src/body_visitor.rs
@@ -412,7 +412,7 @@ impl<'analysis, 'compilation, 'tcx> BodyVisitor<'analysis, 'compilation, 'tcx> {
                     }
                 }
             }
-            _ => {}
+            _ => (),
         }
         let refined_val = {
             let top = abstract_value::TOP.into();
@@ -1784,6 +1784,60 @@ impl<'analysis, 'compilation, 'tcx> BodyVisitor<'analysis, 'compilation, 'tcx> {
         )
     }
 
+    fn add_leaf_fields_for(
+        &self,
+        path: Rc<Path>,
+        def: &'tcx AdtDef,
+        args: GenericArgsRef<'tcx>,
+        tcx: TyCtxt<'tcx>,
+        accumulator: &mut Vec<(Rc<Path>, Ty<'tcx>)>,
+    ) {
+        if let Some(int_ty) = def.repr().int {
+            let ty = match int_ty {
+                rustc_abi::IntegerType::Fixed(t, true) => match t {
+                    rustc_abi::Integer::I8 => tcx.types.i8,
+                    rustc_abi::Integer::I16 => tcx.types.i16,
+                    rustc_abi::Integer::I32 => tcx.types.i32,
+                    rustc_abi::Integer::I64 => tcx.types.i64,
+                    rustc_abi::Integer::I128 => tcx.types.i128,
+                },
+                rustc_abi::IntegerType::Fixed(t, false) => match t {
+                    rustc_abi::Integer::I8 => tcx.types.u8,
+                    rustc_abi::Integer::I16 => tcx.types.u16,
+                    rustc_abi::Integer::I32 => tcx.types.u32,
+                    rustc_abi::Integer::I64 => tcx.types.u64,
+                    rustc_abi::Integer::I128 => tcx.types.u128,
+                },
+                rustc_abi::IntegerType::Pointer(true) => tcx.types.isize,
+                rustc_abi::IntegerType::Pointer(false) => tcx.types.usize,
+            };
+            let discr_path = Path::new_discriminant(path);
+            accumulator.push((discr_path, ty));
+        } else if !def.variants().is_empty() {
+            let variant = def.variants().iter().next().expect("at least one variant");
+            for (i, field) in variant.fields.iter().enumerate() {
+                let field_path = Path::new_field(path.clone(), i);
+                let field_ty = field.ty(tcx, args);
+                debug!("field_path: {:?}, field_ty: {:?}", field_path, field_ty);
+                if let TyKind::Adt(def, args) = field_ty.kind() {
+                    self.add_leaf_fields_for(field_path, def, args, tcx, accumulator)
+                } else if self.type_visitor().is_slice_pointer(field_ty.kind()) {
+                    let ptr_path = Path::new_field(field_path.clone(), 0);
+                    let len_path = Path::new_length(field_path.clone());
+                    let pointer_type = Ty::new_ptr(
+                        self.tcx,
+                        self.type_visitor.get_element_type(field_ty),
+                        rustc_hir::Mutability::Not,
+                    );
+                    accumulator.push((ptr_path, pointer_type));
+                    accumulator.push((len_path, tcx.types.usize));
+                } else {
+                    accumulator.push((field_path, field_ty))
+                }
+            }
+        }
+    }
+
     /// Copy the heap model at source_path to a heap model at target_path.
     /// If the type of value at source_path is different from that at target_path, the value is transmuted.
     #[logfn_inputs(TRACE)]
@@ -1794,52 +1848,10 @@ impl<'analysis, 'compilation, 'tcx> BodyVisitor<'analysis, 'compilation, 'tcx> {
         target_path: Rc<Path>,
         target_rustc_type: Ty<'tcx>,
     ) {
-        fn add_leaf_fields_for<'a>(
-            path: Rc<Path>,
-            def: &'a AdtDef,
-            args: GenericArgsRef<'a>,
-            tcx: TyCtxt<'a>,
-            accumulator: &mut Vec<(Rc<Path>, Ty<'a>)>,
-        ) {
-            if let Some(int_ty) = def.repr().int {
-                let ty = match int_ty {
-                    rustc_abi::IntegerType::Fixed(t, true) => match t {
-                        rustc_abi::Integer::I8 => tcx.types.i8,
-                        rustc_abi::Integer::I16 => tcx.types.i16,
-                        rustc_abi::Integer::I32 => tcx.types.i32,
-                        rustc_abi::Integer::I64 => tcx.types.i64,
-                        rustc_abi::Integer::I128 => tcx.types.i128,
-                    },
-                    rustc_abi::IntegerType::Fixed(t, false) => match t {
-                        rustc_abi::Integer::I8 => tcx.types.u8,
-                        rustc_abi::Integer::I16 => tcx.types.u16,
-                        rustc_abi::Integer::I32 => tcx.types.u32,
-                        rustc_abi::Integer::I64 => tcx.types.u64,
-                        rustc_abi::Integer::I128 => tcx.types.u128,
-                    },
-                    rustc_abi::IntegerType::Pointer(true) => tcx.types.isize,
-                    rustc_abi::IntegerType::Pointer(false) => tcx.types.usize,
-                };
-                let discr_path = Path::new_discriminant(path);
-                accumulator.push((discr_path, ty));
-            } else if !def.variants().is_empty() {
-                let variant = def.variants().iter().next().expect("at least one variant");
-                for (i, field) in variant.fields.iter().enumerate() {
-                    let field_path = Path::new_field(path.clone(), i);
-                    let field_ty = field.ty(tcx, args);
-                    if let TyKind::Adt(def, args) = field_ty.kind() {
-                        add_leaf_fields_for(field_path, def, args, tcx, accumulator)
-                    } else {
-                        accumulator.push((field_path, field_ty))
-                    }
-                }
-            }
-        }
-
         let mut source_fields = Vec::new();
         match source_rustc_type.kind() {
             TyKind::Adt(source_def, source_substs) => {
-                add_leaf_fields_for(
+                self.add_leaf_fields_for(
                     source_path,
                     source_def,
                     source_substs,
@@ -1904,7 +1916,7 @@ impl<'analysis, 'compilation, 'tcx> BodyVisitor<'analysis, 'compilation, 'tcx> {
         let mut target_fields = Vec::new();
         match target_rustc_type.kind() {
             TyKind::Adt(target_def, target_substs) => {
-                add_leaf_fields_for(
+                self.add_leaf_fields_for(
                     target_path,
                     target_def,
                     target_substs,
@@ -2063,7 +2075,7 @@ impl<'analysis, 'compilation, 'tcx> BodyVisitor<'analysis, 'compilation, 'tcx> {
             } else if source_bits - copied_source_bits >= target_bits_to_write {
                 // target field can be completely assigned from bits of source field value
                 if source_bits - copied_source_bits > target_bits_to_write {
-                    // discard higher order bits since they wont fit into the target field
+                    // discard higher order bits since they won't fit into the target field
                     val = val.unsigned_modulo(target_bits_to_write);
                 }
                 if let Expression::Reference(p) = &val.expression {
diff --git a/checker/src/call_visitor.rs b/checker/src/call_visitor.rs
index e459e814..0e7e9272 100644
--- a/checker/src/call_visitor.rs
+++ b/checker/src/call_visitor.rs
@@ -3002,7 +3002,7 @@ impl<'call, 'block, 'analysis, 'compilation, 'tcx>
     }
 
     /// Updates the current state to reflect the effects of a normal return from the function call.
-    /// The paths and expressions of the side-effects are refined in the context of the pre-state
+    /// The paths and expressions of the side effects are refined in the context of the pre-state
     /// (the environment before the call executed), while the refined effects are applied to the
     /// current state.
     #[logfn_inputs(TRACE)]
diff --git a/checker/src/expression.rs b/checker/src/expression.rs
index 61cce7bf..031e8ea9 100644
--- a/checker/src/expression.rs
+++ b/checker/src/expression.rs
@@ -1529,7 +1529,7 @@ impl ExpressionType {
     #[logfn_inputs(TRACE)]
     pub fn is_floating_point_number(&self) -> bool {
         use self::ExpressionType::*;
-        matches!(self, F32 | F64)
+        matches!(self, F16 | F32 | F64)
     }
 
     /// Returns true if this type is one of the integer types.
diff --git a/checker/src/fixed_point_visitor.rs b/checker/src/fixed_point_visitor.rs
index c6dc51a1..4e5ad672 100644
--- a/checker/src/fixed_point_visitor.rs
+++ b/checker/src/fixed_point_visitor.rs
@@ -88,7 +88,7 @@ impl<'fixed, 'analysis, 'compilation, 'tcx>
         }
     }
 
-    /// Visits a single basic block, starting with an in_state that is the join of all of
+    /// Visits a single basic block, starting with an in_state that is the join of all
     /// the out_state values of its predecessors and then updating out_state with the final
     /// current_environment of the block. Also adds the block to the already_visited set.
     #[logfn_inputs(TRACE)]
diff --git a/checker/tests/call_graph/fnptr.rs b/checker/tests/call_graph/fnptr.rs
index 559e3247..d9426f49 100644
--- a/checker/tests/call_graph/fnptr.rs
+++ b/checker/tests/call_graph/fnptr.rs
@@ -69,7 +69,7 @@ commit;
   ],
   "callables": [
     {
-      "name": "/fnptr/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr[03cc]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
+      "name": "/fnptr/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr[35c1]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
       "file_index": 0,
       "first_line": 9,
       "local": true
diff --git a/checker/tests/call_graph/fnptr_clean.rs b/checker/tests/call_graph/fnptr_clean.rs
index 8e3419f7..446eb8ea 100644
--- a/checker/tests/call_graph/fnptr_clean.rs
+++ b/checker/tests/call_graph/fnptr_clean.rs
@@ -74,7 +74,7 @@ commit;
   ],
   "callables": [
     {
-      "name": "/fnptr_clean/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_clean[123f]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
+      "name": "/fnptr_clean/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_clean[fae2]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
       "file_index": 0,
       "first_line": 14,
       "local": true
diff --git a/checker/tests/call_graph/fnptr_deduplicate.rs b/checker/tests/call_graph/fnptr_deduplicate.rs
index a2ee779b..1a65f841 100644
--- a/checker/tests/call_graph/fnptr_deduplicate.rs
+++ b/checker/tests/call_graph/fnptr_deduplicate.rs
@@ -66,7 +66,7 @@ commit;
   ],
   "callables": [
     {
-      "name": "/fnptr_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_deduplicate[324d]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
+      "name": "/fnptr_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_deduplicate[7eb2]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
       "file_index": 0,
       "first_line": 10,
       "local": true
diff --git a/checker/tests/call_graph/fnptr_dom.rs b/checker/tests/call_graph/fnptr_dom.rs
index 9bb361bd..cf3303da 100644
--- a/checker/tests/call_graph/fnptr_dom.rs
+++ b/checker/tests/call_graph/fnptr_dom.rs
@@ -71,7 +71,7 @@ commit;
   ],
   "callables": [
     {
-      "name": "/fnptr_dom/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_dom[e414]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:8 ~ fnptr_dom[e414]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
+      "name": "/fnptr_dom/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_dom[755f]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:8 ~ fnptr_dom[755f]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
       "file_index": 0,
       "first_line": 9,
       "local": true
diff --git a/checker/tests/call_graph/fnptr_dom_loop.rs b/checker/tests/call_graph/fnptr_dom_loop.rs
index 15c10e68..6cfda4c9 100644
--- a/checker/tests/call_graph/fnptr_dom_loop.rs
+++ b/checker/tests/call_graph/fnptr_dom_loop.rs
@@ -85,7 +85,7 @@ commit;
   ],
   "callables": [
     {
-      "name": "/fnptr_dom_loop/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop[ff13]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop[ff13]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
+      "name": "/fnptr_dom_loop/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop[8d00]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop[8d00]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
       "file_index": 0,
       "first_line": 9,
       "local": true
diff --git a/checker/tests/call_graph/fnptr_dom_loop_souffle.rs b/checker/tests/call_graph/fnptr_dom_loop_souffle.rs
index 0f8cafc8..77912120 100644
--- a/checker/tests/call_graph/fnptr_dom_loop_souffle.rs
+++ b/checker/tests/call_graph/fnptr_dom_loop_souffle.rs
@@ -82,7 +82,7 @@ digraph {
   ],
   "callables": [
     {
-      "name": "/fnptr_dom_loop_souffle/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop_souffle[5b29]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop_souffle[5b29]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
+      "name": "/fnptr_dom_loop_souffle/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop_souffle[fa21]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop_souffle[fa21]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
       "file_index": 0,
       "first_line": 10,
       "local": true
diff --git a/checker/tests/call_graph/fnptr_fold.rs b/checker/tests/call_graph/fnptr_fold.rs
index 0d472845..e83e8206 100644
--- a/checker/tests/call_graph/fnptr_fold.rs
+++ b/checker/tests/call_graph/fnptr_fold.rs
@@ -73,7 +73,7 @@ commit;
   ],
   "callables": [
     {
-      "name": "/fnptr_fold/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_fold[dac1]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
+      "name": "/fnptr_fold/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_fold[b66d]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
       "file_index": 0,
       "first_line": 10,
       "local": true
@@ -97,7 +97,7 @@ commit;
       "local": true
     },
     {
-      "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[4531]::io::stdio::_print::'_), \"'_\")>)->()",
+      "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[a47b]::io::stdio::_print::'_), \"'_\")>)->()",
       "file_index": 1,
       "first_line": 1232,
       "local": false
@@ -105,7 +105,7 @@ commit;
     {
       "name": "/core/std::fmt::Arguments::<'a>::new_const(&'a/#0 [&'static str; N/#1])->std::fmt::Arguments<'a/#0>",
       "file_index": 2,
-      "first_line": 336,
+      "first_line": 588,
       "local": true
     }
   ],
diff --git a/checker/tests/call_graph/fnptr_loop.rs b/checker/tests/call_graph/fnptr_loop.rs
index 22a7a416..63d4ce60 100644
--- a/checker/tests/call_graph/fnptr_loop.rs
+++ b/checker/tests/call_graph/fnptr_loop.rs
@@ -82,7 +82,7 @@ commit;
       "local": true
     },
     {
-      "name": "/fnptr_loop/fn2(u32,&'^0.Named(DefId(0:7 ~ fnptr_loop[3178]::fn2::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
+      "name": "/fnptr_loop/fn2(u32,&'^0.Named(DefId(0:7 ~ fnptr_loop[ee63]::fn2::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
       "file_index": 0,
       "first_line": 12,
       "local": true
diff --git a/checker/tests/call_graph/fnptr_slice.rs b/checker/tests/call_graph/fnptr_slice.rs
index 73a2b48b..28218bdd 100644
--- a/checker/tests/call_graph/fnptr_slice.rs
+++ b/checker/tests/call_graph/fnptr_slice.rs
@@ -62,7 +62,7 @@ commit;
   ],
   "callables": [
     {
-      "name": "/fnptr_slice/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_slice[c2b5]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
+      "name": "/fnptr_slice/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_slice[a8c5]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32",
       "file_index": 0,
       "first_line": 10,
       "local": true
diff --git a/checker/tests/call_graph/generic.rs b/checker/tests/call_graph/generic.rs
index cc8c86b3..19758b49 100644
--- a/checker/tests/call_graph/generic.rs
+++ b/checker/tests/call_graph/generic.rs
@@ -74,7 +74,7 @@ commit;
       "local": true
     },
     {
-      "name": "/generic/Gen::<T>::bar(&'^0.Named(DefId(0:12 ~ generic[4b30]::{impl#0}::bar::'_), \"'_\") Gen<T/#0>,T/#0)->()",
+      "name": "/generic/Gen::<T>::bar(&'^0.Named(DefId(0:12 ~ generic[c38b]::{impl#0}::bar::'_), \"'_\") Gen<T/#0>,T/#0)->()",
       "file_index": 0,
       "first_line": 14,
       "local": true
diff --git a/checker/tests/call_graph/static_deduplicate.rs b/checker/tests/call_graph/static_deduplicate.rs
index ed9de824..938801e7 100644
--- a/checker/tests/call_graph/static_deduplicate.rs
+++ b/checker/tests/call_graph/static_deduplicate.rs
@@ -66,19 +66,19 @@ commit;
   ],
   "callables": [
     {
-      "name": "/static_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ static_deduplicate[0108]::fn1::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:7 ~ static_deduplicate[0108]::fn1::'_), \"'_\") str)",
+      "name": "/static_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ static_deduplicate[7b14]::fn1::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:7 ~ static_deduplicate[7b14]::fn1::'_), \"'_\") str)",
       "file_index": 0,
       "first_line": 10,
       "local": true
     },
     {
-      "name": "/static_deduplicate/fn2(u32,&'^0.Named(DefId(0:8 ~ static_deduplicate[0108]::fn2::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:8 ~ static_deduplicate[0108]::fn2::'_), \"'_\") str)",
+      "name": "/static_deduplicate/fn2(u32,&'^0.Named(DefId(0:8 ~ static_deduplicate[7b14]::fn2::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:8 ~ static_deduplicate[7b14]::fn2::'_), \"'_\") str)",
       "file_index": 0,
       "first_line": 13,
       "local": true
     },
     {
-      "name": "/static_deduplicate/fn3(u32,&'^0.Named(DefId(0:9 ~ static_deduplicate[0108]::fn3::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:9 ~ static_deduplicate[0108]::fn3::'_), \"'_\") str)",
+      "name": "/static_deduplicate/fn3(u32,&'^0.Named(DefId(0:9 ~ static_deduplicate[7b14]::fn3::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:9 ~ static_deduplicate[7b14]::fn3::'_), \"'_\") str)",
       "file_index": 0,
       "first_line": 16,
       "local": true
diff --git a/checker/tests/call_graph/static_fold.rs b/checker/tests/call_graph/static_fold.rs
index 26daf4d7..7e423f09 100644
--- a/checker/tests/call_graph/static_fold.rs
+++ b/checker/tests/call_graph/static_fold.rs
@@ -93,7 +93,7 @@ commit;
       "local": true
     },
     {
-      "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[4531]::io::stdio::_print::'_), \"'_\")>)->()",
+      "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[a47b]::io::stdio::_print::'_), \"'_\")>)->()",
       "file_index": 1,
       "first_line": 1232,
       "local": false
@@ -101,7 +101,7 @@ commit;
     {
       "name": "/core/std::fmt::Arguments::<'a>::new_const(&'a/#0 [&'static str; N/#1])->std::fmt::Arguments<'a/#0>",
       "file_index": 2,
-      "first_line": 336,
+      "first_line": 588,
       "local": false
     }
   ],
diff --git a/checker/tests/call_graph/trait.rs b/checker/tests/call_graph/trait.rs
index a4a3d50b..f2ac6cb3 100644
--- a/checker/tests/call_graph/trait.rs
+++ b/checker/tests/call_graph/trait.rs
@@ -74,7 +74,7 @@ commit;
       "local": true
     },
     {
-      "name": "/trait/<Bar as Tr>::bar(&'^0.Named(DefId(0:13 ~ trait[e5fd]::{impl#0}::bar::'_), \"'_\") Bar)->i32",
+      "name": "/trait/<Bar as Tr>::bar(&'^0.Named(DefId(0:13 ~ trait[a7a9]::{impl#0}::bar::'_), \"'_\") Bar)->i32",
       "file_index": 0,
       "first_line": 14,
       "local": true
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index ee3827f3..83a18657 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly-2024-12-04"
+channel = "nightly-2024-12-12"
 components = ["clippy", "rustfmt", "rustc-dev", "rust-src", "rust-std", "llvm-tools-preview"]