Rollup merge of #62257 - RalfJung:miri-c-str, r=estebank

[rust.git] / src / test / ui / consts / const-eval / issue-55541.rs

diff --git a/src/test/ui/consts/const-eval/issue-55541.rs b/src/test/ui/consts/const-eval/issue-55541.rs
index bf8965e83618239f3b5eb1c332d1c780fda3e83a..d04570c67ff2ebcb75c2eaf1e76b4561b915bc1f 100644 (file)
--- a/src/test/ui/consts/const-eval/issue-55541.rs
+++ b/src/test/ui/consts/const-eval/issue-55541.rs
@@ -1,21 +1,27 @@
-// compile-pass
+// build-pass (FIXME(62277): could be check-pass?)
 
 // Test that we can handle newtypes wrapping extern types
 
 #![feature(extern_types, const_transmute)]
 
+use std::marker::PhantomData;
+
 extern "C" {
   pub type ExternType;
 }
 unsafe impl Sync for ExternType {}
+static MAGIC_FFI_STATIC: u8 = 42;
 
 #[repr(transparent)]
 pub struct Wrapper(ExternType);
-
-static MAGIC_FFI_STATIC: u8 = 42;
-
 pub static MAGIC_FFI_REF: &'static Wrapper = unsafe {
   std::mem::transmute(&MAGIC_FFI_STATIC)
 };
 
+#[repr(transparent)]
+pub struct Wrapper2(PhantomData<Vec<i32>>, ExternType);
+pub static MAGIC_FFI_REF2: &'static Wrapper2 = unsafe {
+  std::mem::transmute(&MAGIC_FFI_STATIC)
+};
+
 fn main() {}