summaryrefslogtreecommitdiffstats
path: root/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:58 +0000
commita4b7ed7a42c716ab9f05e351f003d589124fd55d (patch)
treeb620cd3f223850b28716e474e80c58059dca5dd4 /src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
parentAdding upstream version 1.67.1+dfsg1. (diff)
downloadrustc-a4b7ed7a42c716ab9f05e351f003d589124fd55d.tar.xz
rustc-a4b7ed7a42c716ab9f05e351f003d589124fd55d.zip
Adding upstream version 1.68.2+dfsg1.upstream/1.68.2+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs')
-rw-r--r--src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs39
1 files changed, 0 insertions, 39 deletions
diff --git a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs b/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
deleted file mode 100644
index dd57b877d..000000000
--- a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
+++ /dev/null
@@ -1,39 +0,0 @@
-// check-pass
-//! If visibility is assumed, a transmutation should be accepted even if the
-//! destination type contains a private variant.
-
-#![crate_type = "lib"]
-#![feature(transmutability)]
-#![allow(dead_code)]
-
-mod assert {
- use std::mem::{Assume, BikeshedIntrinsicFrom};
-
- pub fn is_transmutable<Src, Dst, Context>()
- where
- Dst: BikeshedIntrinsicFrom<Src, Context, { Assume::SAFETY }>
- // safety IS assumed --------------------^^^^^^^^^^^^^^^^^^
- {}
-}
-
-mod src {
- #[repr(C)] pub(self) struct Zst;
-
- #[repr(C)] pub(in super) struct Src {
- pub(self) field: Zst,
- }
-}
-
-mod dst {
- #[derive(Copy, Clone)]
- #[repr(C)] pub(in super) struct Zst;
-
- #[repr(C)] pub(in super) union Dst {
- pub(self) field: Zst, // <- private variant
- }
-}
-
-fn test() {
- struct Context;
- assert::is_transmutable::<src::Src, dst::Dst, Context>();
-}