From 5e698662cdddb6a53c724b301989553e54b27936 Mon Sep 17 00:00:00 2001
From: Jean IBARZ <ibarz.jean@gmail.com>
Date: Sun, 29 Mar 2026 14:15:38 +0200
Subject: [PATCH] Add regression test for TransmuteFrom ICE with
 min_generic_const_args

Exercises TransmuteFrom with min_generic_const_args, which previously
caused an ICE in well-formedness checking.
---
 .../transmute-from-const-args-ice-150457.rs   | 31 +++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 tests/ui/transmutability/transmute-from-const-args-ice-150457.rs

diff --git a/tests/ui/transmutability/transmute-from-const-args-ice-150457.rs b/tests/ui/transmutability/transmute-from-const-args-ice-150457.rs
new file mode 100644
index 000000000000..8c1b709127b0
--- /dev/null
+++ b/tests/ui/transmutability/transmute-from-const-args-ice-150457.rs
@@ -0,0 +1,31 @@
+//! Ensure `TransmuteFrom` with `min_generic_const_args` doesn't ICE
+//! during well-formedness checking.
+//!
+//! Regression test for <https://github.com/rust-lang/rust/issues/150457>.
+
+//@ check-pass
+
+#![feature(transmutability)]
+#![feature(min_generic_const_args)]
+
+use std::mem::{Assume, TransmuteFrom};
+
+struct W<'a>(&'a ());
+
+fn test<'a>()
+where
+    W<'a>: TransmuteFrom<
+        (),
+        {
+            Assume {
+                alignment: const { true },
+                lifetimes: const { true },
+                safety: const { true },
+                validity: true,
+            }
+        },
+    >,
+{
+}
+
+fn main() {}