summaryrefslogtreecommitdiffstats
path: root/src/test/ui/transmutability/issue-101739-2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/transmutability/issue-101739-2.rs')
-rw-r--r--src/test/ui/transmutability/issue-101739-2.rs37
1 files changed, 0 insertions, 37 deletions
diff --git a/src/test/ui/transmutability/issue-101739-2.rs b/src/test/ui/transmutability/issue-101739-2.rs
deleted file mode 100644
index 964a7e49e..000000000
--- a/src/test/ui/transmutability/issue-101739-2.rs
+++ /dev/null
@@ -1,37 +0,0 @@
-#![crate_type = "lib"]
-#![feature(transmutability)]
-#![allow(dead_code, incomplete_features, non_camel_case_types)]
-
-mod assert {
- use std::mem::BikeshedIntrinsicFrom;
-
- pub fn is_transmutable<
- Src,
- Dst,
- Context,
- const ASSUME_ALIGNMENT: bool,
- const ASSUME_LIFETIMES: bool,
- const ASSUME_VALIDITY: bool,
- const ASSUME_VISIBILITY: bool,
- >()
- where
- Dst: BikeshedIntrinsicFrom< //~ ERROR this trait takes at most 3 generic arguments but 6 generic arguments were supplied
- Src,
- Context,
- ASSUME_ALIGNMENT,
- ASSUME_LIFETIMES,
- ASSUME_VALIDITY,
- ASSUME_VISIBILITY,
- >,
- {}
-}
-
-fn via_const() {
- struct Context;
- #[repr(C)] struct Src;
- #[repr(C)] struct Dst;
-
- const FALSE: bool = false;
-
- assert::is_transmutable::<Src, Dst, Context, FALSE, FALSE, FALSE, FALSE>();
-}