Auto merge of rust-lang#148721 - Zalathar:rollup-398va3y, r=Zalathar

Rollup of 22 pull requests

Successful merges:

 - rust-lang#128666 (Add `overflow_checks` intrinsic)
 - rust-lang#146305 (Add correct suggestion for multi-references for self type in method)
 - rust-lang#147179 ([DebugInfo] Fix container types failing to find template args)
 - rust-lang#147743 (Show packed field alignment in mir_transform_unaligned_packed_ref)
 - rust-lang#148079 (Rename `downcast_[ref|mut]_unchecked` -> `downcast_unchecked_[ref|mut]`)
 - rust-lang#148084 (Optimize path components iteration on platforms that don't have prefixes)
 - rust-lang#148126 (Fix rust stdlib build failing for VxWorks)
 - rust-lang#148204 (Modify contributor email entries in .mailmap)
 - rust-lang#148279 (rustc_builtin_macros: rename bench parameter to avoid collisions with user-defined function names)
 - rust-lang#148333 (constify result unwrap unchecked)
 - rust-lang#148539 (Add Allocator proxy impls for Box, Rc, and Arc)
 - rust-lang#148601 (`invalid_atomic_ordering`: also lint `update` & `try_update`)
 - rust-lang#148612 (Add note for identifier with attempted hygiene violation)
 - rust-lang#148613 (Switch hexagon targets to rust-lld)
 - rust-lang#148619 (Enable std locking functions on AIX)
 - rust-lang#148644 ([bootstrap] Make `--open` option work with `doc src/tools/error_index_generator`)
 - rust-lang#148649 (don't completely reset `HeadUsages`)
 - rust-lang#148673 (Remove a remnant of `dyn*` from the parser)
 - rust-lang#148675 (Remove eslint-js from npm dependencies)
 - rust-lang#148680 (Recover `[T: N]` as `[T; N]`)
 - rust-lang#148688 (Remove unused argument `features` from `eval_config_entry`)
 - rust-lang#148711 (Use the current lint note id when parsing `cfg!()`)

r? `@ghost`
`@rustbot` modify labels: rollup

Author: bors

compiler/rustc_public/src/mir/body.rs

@@ -642,8 +642,7 @@ impl Rvalue {
                     .ok_or_else(|| error!("Expected a `RigidTy` but found: {place_ty:?}"))
             }
             Rvalue::NullaryOp(NullOp::OffsetOf(..), _) => Ok(Ty::usize_ty()),
-            Rvalue::NullaryOp(NullOp::ContractChecks, _)
-            | Rvalue::NullaryOp(NullOp::UbChecks, _) => Ok(Ty::bool_ty()),
+            Rvalue::NullaryOp(NullOp::RuntimeChecks(_), _) => Ok(Ty::bool_ty()),
             Rvalue::Aggregate(ak, ops) => match *ak {
                 AggregateKind::Array(ty) => Ty::try_new_array(ty, ops.len() as u64),
                 AggregateKind::Tuple => Ok(Ty::new_tuple(
@@ -1024,10 +1023,18 @@ pub enum CastKind {
 pub enum NullOp {
     /// Returns the offset of a field.
     OffsetOf(Vec<(VariantIdx, FieldIdx)>),
+    /// Codegen conditions for runtime checks.
+    RuntimeChecks(RuntimeChecks),
+}
+
+#[derive(Clone, Debug, Eq, PartialEq, Hash, Serialize)]
+pub enum RuntimeChecks {
     /// cfg!(ub_checks), but at codegen time
     UbChecks,
     /// cfg!(contract_checks), but at codegen time
     ContractChecks,
+    /// cfg!(overflow_checks), but at codegen time
+    OverflowChecks,
 }
 
 impl Operand {

compiler/rustc_public/src/unstable/convert/stable/mir.rs

@@ -322,12 +322,16 @@ impl<'tcx> Stable<'tcx> for mir::NullOp<'tcx> {
         cx: &CompilerCtxt<'cx, BridgeTys>,
     ) -> Self::T {
         use rustc_middle::mir::NullOp::*;
+        use rustc_middle::mir::RuntimeChecks::*;
         match self {
             OffsetOf(indices) => crate::mir::NullOp::OffsetOf(
                 indices.iter().map(|idx| idx.stable(tables, cx)).collect(),
             ),
-            UbChecks => crate::mir::NullOp::UbChecks,
-            ContractChecks => crate::mir::NullOp::ContractChecks,
+            RuntimeChecks(op) => crate::mir::NullOp::RuntimeChecks(match op {
+                UbChecks => crate::mir::RuntimeChecks::UbChecks,
+                ContractChecks => crate::mir::RuntimeChecks::ContractChecks,
+                OverflowChecks => crate::mir::RuntimeChecks::OverflowChecks,
+            }),
         }
     }
 }