add lint for transmute from &T to &mut T of a ADT argument

Author: mendelsshop

CHANGELOG.md

@@ -6649,6 +6649,7 @@ Released 2018-09-13
 [`mut_mut`]: https://rust-lang.github.io/rust-clippy/master/index.html#mut_mut
 [`mut_mutex_lock`]: https://rust-lang.github.io/rust-clippy/master/index.html#mut_mutex_lock
 [`mut_range_bound`]: https://rust-lang.github.io/rust-clippy/master/index.html#mut_range_bound
+[`mutable_adt_argument_transmute`]: https://rust-lang.github.io/rust-clippy/master/index.html#mutable_adt_argument_transmute
 [`mutable_key_type`]: https://rust-lang.github.io/rust-clippy/master/index.html#mutable_key_type
 [`mutex_atomic`]: https://rust-lang.github.io/rust-clippy/master/index.html#mutex_atomic
 [`mutex_integer`]: https://rust-lang.github.io/rust-clippy/master/index.html#mutex_integer

clippy_lints/src/declared_lints.rs

@@ -716,6 +716,7 @@ pub static LINTS: &[&::declare_clippy_lint::LintInfo] = &[
     crate::transmute::CROSSPOINTER_TRANSMUTE_INFO,
     crate::transmute::EAGER_TRANSMUTE_INFO,
     crate::transmute::MISSING_TRANSMUTE_ANNOTATIONS_INFO,
+    crate::transmute::MUTABLE_ADT_ARGUMENT_TRANSMUTE_INFO,
     crate::transmute::TRANSMUTES_EXPRESSIBLE_AS_PTR_CASTS_INFO,
     crate::transmute::TRANSMUTE_BYTES_TO_STR_INFO,
     crate::transmute::TRANSMUTE_INT_TO_BOOL_INFO,

clippy_lints/src/transmute/mod.rs

@@ -1,6 +1,7 @@
 mod crosspointer_transmute;
 mod eager_transmute;
 mod missing_transmute_annotations;
+mod transmute_adt_argument;
 mod transmute_int_to_bool;
 mod transmute_int_to_non_zero;
 mod transmute_null_to_fn;
@@ -44,6 +45,22 @@ declare_clippy_lint! {
     correctness,
     "transmutes that are confusing at best, undefined behavior at worst and always useless"
 }
+declare_clippy_lint! {
+    /// ### What it does
+    /// Checks for transmutes between the same adt, where at least one of the type argument goes from &T to &mut T.
+    /// This is an a more complicated version of https://doc.rust-lang.org/rustc/lints/listing/deny-by-default.html#mutable-transmutes.
+    /// ### Example
+    ///
+    /// ```ignore
+    /// unsafe {
+    ///    std::mem::transmute::<Option<&i32>, Option<&mut i32>>(&Some(5));
+    /// }
+    /// ```
+    #[clippy::version = "1.92.0"]
+    pub MUTABLE_ADT_ARGUMENT_TRANSMUTE,
+    correctness,
+    "transmutes on the same adt where at least one of the type argument goes from &T to &mut T"
+}
 
 declare_clippy_lint! {
     /// ### What it does
@@ -476,6 +493,7 @@ impl_lint_pass!(Transmute => [
     USELESS_TRANSMUTE,
     WRONG_TRANSMUTE,
     TRANSMUTE_BYTES_TO_STR,
+    MUTABLE_ADT_ARGUMENT_TRANSMUTE,
     TRANSMUTE_INT_TO_BOOL,
     TRANSMUTE_INT_TO_NON_ZERO,
     UNSOUND_COLLECTION_TRANSMUTE,
@@ -517,6 +535,7 @@ impl<'tcx> LateLintPass<'tcx> for Transmute {
             }
 
             let linted = wrong_transmute::check(cx, e, from_ty, to_ty)
+                | transmute_adt_argument::check(cx, e, from_ty, to_ty)
                 | crosspointer_transmute::check(cx, e, from_ty, to_ty)
                 | transmuting_null::check(cx, e, arg, to_ty)
                 | transmute_null_to_fn::check(cx, e, arg, to_ty)

clippy_lints/src/transmute/transmute_adt_argument.rs

@@ -0,0 +1,35 @@
+use super::MUTABLE_ADT_ARGUMENT_TRANSMUTE;
+use clippy_utils::diagnostics::span_lint;
+use rustc_hir::Expr;
+use rustc_lint::LateContext;
+use rustc_middle::ty::{self, GenericArgKind, Ty};
+
+pub(super) fn check<'tcx>(cx: &LateContext<'tcx>, e: &'tcx Expr<'_>, from_ty: Ty<'tcx>, to_ty: Ty<'tcx>) -> bool {
+    from_ty
+        .walk()
+        .zip(to_ty.walk())
+        .filter_map(|(from_ty, to_ty)| {
+            if let (GenericArgKind::Type(from_ty), GenericArgKind::Type(to_ty)) = (from_ty.kind(), to_ty.kind()) {
+                Some((from_ty, to_ty))
+            } else {
+                None
+            }
+        })
+        .filter(|(from_ty_inner, to_ty_inner)| {
+            if let (ty::Ref(_, _, from_mut), ty::Ref(_, _, to_mut)) = (from_ty_inner.kind(), to_ty_inner.kind())
+                && from_mut < to_mut
+            {
+                span_lint(
+                    cx,
+                    MUTABLE_ADT_ARGUMENT_TRANSMUTE,
+                    e.span,
+                    format!("transmute of type argument {from_ty_inner} to {from_ty_inner}"),
+                );
+                true
+            } else {
+                false
+            }
+        })
+        .count()
+        > 0
+}

tests/ui/mutable_adt_argument_transmute.rs

@@ -0,0 +1,5 @@
+#![warn(clippy::mutable_adt_argument_transmute)]
+
+fn main() {
+    // test code goes here
+}