[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives

35 files changed, 39 insertions, 39 deletions

diff --git a/tests/ui/transmutability/abstraction/abstracted_assume.rs b/tests/ui/transmutability/abstraction/abstracted_assume.rs
index 0225c4230dc..0e62dc632bf 100644
--- a/tests/ui/transmutability/abstraction/abstracted_assume.rs
+++ b/tests/ui/transmutability/abstraction/abstracted_assume.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! The implementation should behave correctly when the `ASSUME` parameters are
 //! provided indirectly through an abstraction.
 
diff --git a/tests/ui/transmutability/abstraction/const_generic_fn.rs b/tests/ui/transmutability/abstraction/const_generic_fn.rs
index e693a09570f..076b7c8999b 100644
--- a/tests/ui/transmutability/abstraction/const_generic_fn.rs
+++ b/tests/ui/transmutability/abstraction/const_generic_fn.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! An array must have the correct length.
 
 #![crate_type = "lib"]
diff --git a/tests/ui/transmutability/alignment/align-fail.rs b/tests/ui/transmutability/alignment/align-fail.rs
index 7f6090a6e4d..2bb6bfeeaae 100644
--- a/tests/ui/transmutability/alignment/align-fail.rs
+++ b/tests/ui/transmutability/alignment/align-fail.rs
@@ -1,4 +1,4 @@
-// check-fail
+//@ check-fail
 #![feature(transmutability)]
 
 mod assert {
diff --git a/tests/ui/transmutability/alignment/align-pass.rs b/tests/ui/transmutability/alignment/align-pass.rs
index 62dc672eacb..d97a55f730c 100644
--- a/tests/ui/transmutability/alignment/align-pass.rs
+++ b/tests/ui/transmutability/alignment/align-pass.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 #![feature(transmutability)]
 
 mod assert {
diff --git a/tests/ui/transmutability/arrays/should_have_correct_length.rs b/tests/ui/transmutability/arrays/should_have_correct_length.rs
index 353797d0c4b..44a60360014 100644
--- a/tests/ui/transmutability/arrays/should_have_correct_length.rs
+++ b/tests/ui/transmutability/arrays/should_have_correct_length.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! An array must have the correct length.
 
 #![crate_type = "lib"]
diff --git a/tests/ui/transmutability/arrays/should_inherit_alignment.rs b/tests/ui/transmutability/arrays/should_inherit_alignment.rs
index b00e5c7e400..bb78cd82a34 100644
--- a/tests/ui/transmutability/arrays/should_inherit_alignment.rs
+++ b/tests/ui/transmutability/arrays/should_inherit_alignment.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! An array must inherit the alignment of its inner type.
 
 #![crate_type = "lib"]
diff --git a/tests/ui/transmutability/enums/should_order_correctly.rs b/tests/ui/transmutability/enums/should_order_correctly.rs
index 1335cc9d2b1..6146e37e54e 100644
--- a/tests/ui/transmutability/enums/should_order_correctly.rs
+++ b/tests/ui/transmutability/enums/should_order_correctly.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! The payloads of an enum variant should be ordered after its tag.
 
 #![crate_type = "lib"]
diff --git a/tests/ui/transmutability/issue-110467.rs b/tests/ui/transmutability/issue-110467.rs
index 358733b9832..6485ed8aab7 100644
--- a/tests/ui/transmutability/issue-110467.rs
+++ b/tests/ui/transmutability/issue-110467.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 #![crate_type = "lib"]
 #![feature(transmutability)]
 use std::mem::BikeshedIntrinsicFrom;
diff --git a/tests/ui/transmutability/issue-110892.rs b/tests/ui/transmutability/issue-110892.rs
index ce926b39996..1baf117518b 100644
--- a/tests/ui/transmutability/issue-110892.rs
+++ b/tests/ui/transmutability/issue-110892.rs
@@ -1,4 +1,4 @@
-// check-fail
+//@ check-fail
 #![feature(generic_const_exprs, transmutability)]
 #![allow(incomplete_features)]
 
diff --git a/tests/ui/transmutability/primitives/bool-mut.rs b/tests/ui/transmutability/primitives/bool-mut.rs
index 6ee168d1a71..0a74aba8f63 100644
--- a/tests/ui/transmutability/primitives/bool-mut.rs
+++ b/tests/ui/transmutability/primitives/bool-mut.rs
@@ -1,5 +1,5 @@
-// check-fail
-//[next] compile-flags: -Znext-solver
+//@ check-fail
+//@[next] compile-flags: -Znext-solver
 
 #![feature(transmutability)]
 mod assert {
diff --git a/tests/ui/transmutability/primitives/bool.rs b/tests/ui/transmutability/primitives/bool.rs
index ac4024b7f33..b7dc309e469 100644
--- a/tests/ui/transmutability/primitives/bool.rs
+++ b/tests/ui/transmutability/primitives/bool.rs
@@ -1,5 +1,5 @@
-// revisions: current next
-//[next] compile-flags: -Znext-solver
+//@ revisions: current next
+//@[next] compile-flags: -Znext-solver
 
 #![feature(transmutability)]
 mod assert {
diff --git a/tests/ui/transmutability/primitives/numbers.rs b/tests/ui/transmutability/primitives/numbers.rs
index 1afc7d677ee..8baa4b05216 100644
--- a/tests/ui/transmutability/primitives/numbers.rs
+++ b/tests/ui/transmutability/primitives/numbers.rs
@@ -1,5 +1,5 @@
-// revisions: current next
-//[next] compile-flags: -Znext-solver
+//@ revisions: current next
+//@[next] compile-flags: -Znext-solver
 
 #![crate_type = "lib"]
 #![feature(transmutability)]
diff --git a/tests/ui/transmutability/primitives/unit.rs b/tests/ui/transmutability/primitives/unit.rs
index 5ea96cf8ba7..77240dd340b 100644
--- a/tests/ui/transmutability/primitives/unit.rs
+++ b/tests/ui/transmutability/primitives/unit.rs
@@ -1,5 +1,5 @@
-// revisions: current next
-//[next] compile-flags: -Znext-solver
+//@ revisions: current next
+//@[next] compile-flags: -Znext-solver
 
 //! The unit type, `()`, should be one byte.
 
diff --git a/tests/ui/transmutability/references/recursive-wrapper-types-bit-compatible-mut.rs b/tests/ui/transmutability/references/recursive-wrapper-types-bit-compatible-mut.rs
index a6e2889d3f2..8e005d83a45 100644
--- a/tests/ui/transmutability/references/recursive-wrapper-types-bit-compatible-mut.rs
+++ b/tests/ui/transmutability/references/recursive-wrapper-types-bit-compatible-mut.rs
@@ -1,4 +1,4 @@
-// check-fail
+//@ check-fail
 #![feature(transmutability)]
 
 mod assert {
diff --git a/tests/ui/transmutability/references/recursive-wrapper-types-bit-compatible.rs b/tests/ui/transmutability/references/recursive-wrapper-types-bit-compatible.rs
index 709d8cdc762..6dd49863609 100644
--- a/tests/ui/transmutability/references/recursive-wrapper-types-bit-compatible.rs
+++ b/tests/ui/transmutability/references/recursive-wrapper-types-bit-compatible.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 #![feature(transmutability)]
 
 mod assert {
diff --git a/tests/ui/transmutability/references/recursive-wrapper-types-bit-incompatible.rs b/tests/ui/transmutability/references/recursive-wrapper-types-bit-incompatible.rs
index e8582d2fd02..bac174014ee 100644
--- a/tests/ui/transmutability/references/recursive-wrapper-types-bit-incompatible.rs
+++ b/tests/ui/transmutability/references/recursive-wrapper-types-bit-incompatible.rs
@@ -1,4 +1,4 @@
-// check-fail
+//@ check-fail
 #![feature(transmutability)]
 
 mod assert {
diff --git a/tests/ui/transmutability/references/recursive-wrapper-types.rs b/tests/ui/transmutability/references/recursive-wrapper-types.rs
index 090c1fea6db..9556a0e76c7 100644
--- a/tests/ui/transmutability/references/recursive-wrapper-types.rs
+++ b/tests/ui/transmutability/references/recursive-wrapper-types.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 #![feature(transmutability)]
 
 mod assert {
diff --git a/tests/ui/transmutability/references/u8-to-unit.rs b/tests/ui/transmutability/references/u8-to-unit.rs
index 8b37492bd6b..bf11372f9cb 100644
--- a/tests/ui/transmutability/references/u8-to-unit.rs
+++ b/tests/ui/transmutability/references/u8-to-unit.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 #![feature(transmutability)]
 
 mod assert {
diff --git a/tests/ui/transmutability/references/unit-to-itself.rs b/tests/ui/transmutability/references/unit-to-itself.rs
index 04a7e16d7cc..5c0db04c2e6 100644
--- a/tests/ui/transmutability/references/unit-to-itself.rs
+++ b/tests/ui/transmutability/references/unit-to-itself.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 #![feature(transmutability)]
 
 mod assert {
diff --git a/tests/ui/transmutability/references/unit-to-u8.rs b/tests/ui/transmutability/references/unit-to-u8.rs
index eff516e9a96..ccc401042af 100644
--- a/tests/ui/transmutability/references/unit-to-u8.rs
+++ b/tests/ui/transmutability/references/unit-to-u8.rs
@@ -1,4 +1,4 @@
-// check-fail
+//@ check-fail
 #![feature(transmutability)]
 
 mod assert {
diff --git a/tests/ui/transmutability/structs/repr/should_handle_align.rs b/tests/ui/transmutability/structs/repr/should_handle_align.rs
index ea9bf2a237e..ca18e0f1543 100644
--- a/tests/ui/transmutability/structs/repr/should_handle_align.rs
+++ b/tests/ui/transmutability/structs/repr/should_handle_align.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! The presence of an `align(X)` annotation must be accounted for.
 
 #![crate_type = "lib"]
diff --git a/tests/ui/transmutability/structs/repr/should_handle_packed.rs b/tests/ui/transmutability/structs/repr/should_handle_packed.rs
index 17dc995fcd9..dcd4e5b80eb 100644
--- a/tests/ui/transmutability/structs/repr/should_handle_packed.rs
+++ b/tests/ui/transmutability/structs/repr/should_handle_packed.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! The presence of an `align(X)` annotation must be accounted for.
 
 #![crate_type = "lib"]
diff --git a/tests/ui/transmutability/structs/should_order_fields_correctly.rs b/tests/ui/transmutability/structs/should_order_fields_correctly.rs
index 28724562bad..bda5bfb89a2 100644
--- a/tests/ui/transmutability/structs/should_order_fields_correctly.rs
+++ b/tests/ui/transmutability/structs/should_order_fields_correctly.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! The fields of a struct should be laid out in lexical order.
 
 #![crate_type = "lib"]
diff --git a/tests/ui/transmutability/unions/boolish.rs b/tests/ui/transmutability/unions/boolish.rs
index e469c497353..9ab5f2be59a 100644
--- a/tests/ui/transmutability/unions/boolish.rs
+++ b/tests/ui/transmutability/unions/boolish.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 
 #![crate_type = "lib"]
 #![feature(transmutability)]
diff --git a/tests/ui/transmutability/unions/repr/should_handle_align.rs b/tests/ui/transmutability/unions/repr/should_handle_align.rs
index 09c13cc4dc7..652158ecf52 100644
--- a/tests/ui/transmutability/unions/repr/should_handle_align.rs
+++ b/tests/ui/transmutability/unions/repr/should_handle_align.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! The presence of an `align(X)` annotation must be accounted for.
 
 #![crate_type = "lib"]
diff --git a/tests/ui/transmutability/unions/repr/should_handle_packed.rs b/tests/ui/transmutability/unions/repr/should_handle_packed.rs
index 24c2abd698e..173fec9ff0c 100644
--- a/tests/ui/transmutability/unions/repr/should_handle_packed.rs
+++ b/tests/ui/transmutability/unions/repr/should_handle_packed.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! The presence of an `align(X)` annotation must be accounted for.
 
 #![crate_type = "lib"]
diff --git a/tests/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs b/tests/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs
index 1007fdd7954..82cf3aba8a7 100644
--- a/tests/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs
+++ b/tests/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! If validity is assumed, there need only be one matching bit-pattern between
 //! the source and destination types.
 
diff --git a/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs
index 8a41669c65e..fa5569325b3 100644
--- a/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! If visibility is assumed, a transmutation should be accepted even if the
 //! destination type contains a private field.
 
diff --git a/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
index dd57b877d78..8ff8e2de0e6 100644
--- a/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! If visibility is assumed, a transmutation should be accepted even if the
 //! destination type contains a private variant.
 
diff --git a/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs
index ebce8ce87df..b9cf66ec310 100644
--- a/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! Unless visibility is assumed, a transmutation should be rejected if the
 //! destination type contains an unreachable field (e.g., a public field with a
 //! private type). (This rule is distinct from type privacy, which still may
diff --git a/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs
index b6129163333..a56145f59d8 100644
--- a/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 
 //! If visibility is assumed, a transmutation should be accepted even if the
 //! destination type contains an unreachable field (e.g., a public field with a
diff --git a/tests/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs b/tests/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs
index 5a0df09d492..22392c53905 100644
--- a/tests/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs
+++ b/tests/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! The presence of a private field in the source type does not affect
 //! transmutability.
 
diff --git a/tests/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs b/tests/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs
index 0f69630cc64..876db7c6589 100644
--- a/tests/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs
+++ b/tests/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! The presence of a private variant in the source type does not affect
 //! transmutability.
 
diff --git a/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs
index e7742058c57..8b6db9ff150 100644
--- a/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs
+++ b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 
 //! The presence of an unreachable field in the source type (e.g., a public
 //! field with a private type does not affect transmutability. (This rule is
diff --git a/tests/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs b/tests/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs
index 662c32af17a..9b7b940ca69 100644
--- a/tests/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs
@@ -1,4 +1,4 @@
-// check-pass
+//@ check-pass
 //! NOTE: This test documents a known-bug in the implementation of the
 //! transmutability trait. Once fixed, the above "check-pass" header should be
 //! removed, and an "ERROR cannot be safely transmuted" annotation should be added at the end