From 218caa410aa38c29984be31a5229b9fa717560ee Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:13 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/consts/recursive-zst-static.rs | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 src/test/ui/consts/recursive-zst-static.rs (limited to 'src/test/ui/consts/recursive-zst-static.rs') diff --git a/src/test/ui/consts/recursive-zst-static.rs b/src/test/ui/consts/recursive-zst-static.rs deleted file mode 100644 index 4e61634b3..000000000 --- a/src/test/ui/consts/recursive-zst-static.rs +++ /dev/null @@ -1,14 +0,0 @@ -// revisions: default unleash -//[unleash]compile-flags: -Zunleash-the-miri-inside-of-you - -// This test ensures that we do not allow ZST statics to initialize themselves without ever -// actually creating a value of that type. This is important, as the ZST may have private fields -// that users can reasonably expect to only get initialized by their own code. Thus unsafe code -// can depend on this fact and will thus do unsound things when it is violated. -// See https://github.com/rust-lang/rust/issues/71078 for more details. - -static FOO: () = FOO; //~ cycle detected when const-evaluating + checking `FOO` - -fn main() { - FOO -} -- cgit v1.2.3