Merging upstream version 1.68.2+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 0 insertions, 53 deletions

diff --git a/src/test/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.rs b/src/test/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.rs
deleted file mode 100644
index 52aa4bb31..000000000
--- a/src/test/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.rs
+++ /dev/null
@@ -1,53 +0,0 @@
-//! The implementation must behave well if const values of wrong types are
-//! provided.
-
-#![crate_type = "lib"]
-#![feature(adt_const_params)]
-#![feature(generic_const_exprs)]
-#![feature(transmutability)]
-#![allow(dead_code, incomplete_features, non_camel_case_types)]
-
-mod assert {
-    use std::mem::{Assume, BikeshedIntrinsicFrom};
-
-    pub fn is_transmutable<
-        Src,
-        Dst,
-        Context,
-        const ASSUME_ALIGNMENT: bool,
-        const ASSUME_LIFETIMES: bool,
-        const ASSUME_SAFETY: bool,
-        const ASSUME_VALIDITY: bool,
-    >()
-    where
-        Dst: BikeshedIntrinsicFrom<
-            Src,
-            Context,
-            { from_options(ASSUME_ALIGNMENT, ASSUME_LIFETIMES, ASSUME_SAFETY, ASSUME_VALIDITY) }
-        >,
-    {}
-
-    const fn from_options(
-        alignment: bool,
-        lifetimes: bool,
-        safety: bool,
-        validity: bool,
-    ) -> Assume {
-        Assume {
-            alignment,
-            lifetimes,
-            safety,
-            validity,
-        }
-    }
-}
-
-fn test() {
-    struct Context;
-    #[repr(C)] struct Src;
-    #[repr(C)] struct Dst;
-    assert::is_transmutable::<Src, Dst, Context, {0u8}, false, false, false>(); //~ ERROR mismatched types
-    assert::is_transmutable::<Src, Dst, Context, false, {0u8}, false, false>(); //~ ERROR mismatched types
-    assert::is_transmutable::<Src, Dst, Context, false, false, {0u8}, false>(); //~ ERROR mismatched types
-    assert::is_transmutable::<Src, Dst, Context, false, false, false, {0u8}>(); //~ ERROR mismatched types
-}