Rollup merge of #154548 - jeanibarz:fix/add-test-150457, r=jieyouxu

Add regression test for TransmuteFrom ICE with min_generic_const_args

Regression test for #150457.

The wfcheck ICE with TransmuteFrom + min_generic_const_args was fixed by #150707 but didn't get a test.

Closes #150457

Author: jhpratt

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() {}