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 . + +//@ 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() {}