From fd45124860b739675e0df36a6531dbc98536f5a8 Mon Sep 17 00:00:00 2001
From: zedddie <zedddie@protonmail.com>
Date: Thu, 12 Mar 2026 18:44:21 +0100
Subject: [PATCH] add generic & unresolved inference variables handling in
 `select_transmute_obligation_for_reporting`

---
 .../src/error_reporting/traits/fulfillment_errors.rs  |  4 ++++
 .../generic-transmute-from-regression.rs              | 11 +++++++++++
 .../generic-transmute-from-regression.stderr          | 11 +++++++++++
 3 files changed, 26 insertions(+)
 create mode 100644 tests/ui/transmutability/generic-transmute-from-regression.rs
 create mode 100644 tests/ui/transmutability/generic-transmute-from-regression.stderr

diff --git a/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs b/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs
index d5383fd4d0831..598a7407c1aa8 100644
--- a/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs
+++ b/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs
@@ -2832,6 +2832,10 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
         trait_predicate: ty::PolyTraitPredicate<'tcx>,
         root_obligation: &PredicateObligation<'tcx>,
     ) -> (PredicateObligation<'tcx>, ty::PolyTraitPredicate<'tcx>) {
+        if obligation.predicate.has_non_region_param() || obligation.has_non_region_infer() {
+            return (obligation.clone(), trait_predicate);
+        }
+
         let ocx = ObligationCtxt::new(self);
         let normalized_predicate = self.tcx.erase_and_anonymize_regions(
             self.tcx.instantiate_bound_regions_with_erased(trait_predicate),
diff --git a/tests/ui/transmutability/generic-transmute-from-regression.rs b/tests/ui/transmutability/generic-transmute-from-regression.rs
new file mode 100644
index 0000000000000..38568243ed9d0
--- /dev/null
+++ b/tests/ui/transmutability/generic-transmute-from-regression.rs
@@ -0,0 +1,11 @@
+//! Regression test for: <https://github.com/rust-lang/rust/issues/153755>
+#![feature(transmutability)]
+
+fn foo<T, U>(x: T) -> U {
+    unsafe {
+        std::mem::TransmuteFrom::transmute(x)
+        //~^ ERROR: the trait bound `U: TransmuteFrom<T, _>` is not satisfied [E0277]
+    }
+}
+
+fn main() {}
diff --git a/tests/ui/transmutability/generic-transmute-from-regression.stderr b/tests/ui/transmutability/generic-transmute-from-regression.stderr
new file mode 100644
index 0000000000000..3912aec0a9c84
--- /dev/null
+++ b/tests/ui/transmutability/generic-transmute-from-regression.stderr
@@ -0,0 +1,11 @@
+error[E0277]: the trait bound `U: TransmuteFrom<T, _>` is not satisfied
+  --> $DIR/generic-transmute-from-regression.rs:6:44
+   |
+LL |         std::mem::TransmuteFrom::transmute(x)
+   |         ---------------------------------- ^ the nightly-only, unstable trait `TransmuteFrom<T, _>` is not implemented for `U`
+   |         |
+   |         required by a bound introduced by this call
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0277`.