rust-lang · Embers-of-the-Fire · May 9, 2026
diff --git a/tests/ui/abi/relocation_model_pic.rs b/tests/ui/abi/relocation_model_pic.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 //@ compile-flags: -C relocation-model=pic
 //@ needs-relocation-model-pic
 

diff --git a/tests/ui/allocator/dyn-compatible.rs b/tests/ui/allocator/dyn-compatible.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 // Check that `Allocator` is dyn-compatible, this allows for polymorphic allocators
 

diff --git a/tests/ui/array-slice-vec/array_const_index-2.rs b/tests/ui/array-slice-vec/array_const_index-2.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 
 fn main() {

diff --git a/tests/ui/array-slice-vec/cast-in-array-size.rs b/tests/ui/array-slice-vec/cast-in-array-size.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 
 // issues #10618 and #16382

diff --git a/tests/ui/array-slice-vec/copy-out-of-array-1.rs b/tests/ui/array-slice-vec/copy-out-of-array-1.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ build-pass
 
 // Ensure that we can copy out of a fixed-size array.
 //

diff --git a/tests/ui/array-slice-vec/empty-mutable-vec.rs b/tests/ui/array-slice-vec/empty-mutable-vec.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 
 #![allow(unused_mut)]

diff --git a/tests/ui/array-slice-vec/issue-15730.rs b/tests/ui/array-slice-vec/issue-15730.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_mut)]
 #![allow(unused_variables)]
 

diff --git a/tests/ui/array-slice-vec/issue-18425.rs b/tests/ui/array-slice-vec/issue-18425.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ build-pass
 // Check that codegen doesn't ICE when codegenning an array repeat
 // expression with a count of 1 and a non-Copy element type.
 

diff --git a/tests/ui/array-slice-vec/ivec-pass-by-value.rs b/tests/ui/array-slice-vec/ivec-pass-by-value.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ build-pass
 
 fn f(_a: Vec<isize> ) { }
 pub fn main() { f(vec![1, 2, 3, 4, 5]); }
diff --git a/tests/ui/array-slice-vec/mut-vstore-expr.rs b/tests/ui/array-slice-vec/mut-vstore-expr.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 pub fn main() {
     let _x: &mut [isize] = &mut [ 1, 2, 3 ];

diff --git a/tests/ui/array-slice-vec/vec-macro-with-brackets.rs b/tests/ui/array-slice-vec/vec-macro-with-brackets.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_variables)]
 
 

diff --git a/tests/ui/array-slice-vec/vec-repeat-with-cast.rs b/tests/ui/array-slice-vec/vec-repeat-with-cast.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 
 pub fn main() { let _a = [0; 1 as usize]; }
diff --git a/tests/ui/array-slice-vec/vector-no-ann-2.rs b/tests/ui/array-slice-vec/vector-no-ann-2.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 
 pub fn main() {

diff --git a/tests/ui/asm/empty_global_asm.rs b/tests/ui/asm/empty_global_asm.rs
@@ -1,5 +1,5 @@
 //@ needs-asm-support
-//@ run-pass
+//@ build-pass
 
 use std::arch::global_asm;
 

diff --git a/tests/ui/asm/may_unwind.rs b/tests/ui/asm/may_unwind.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ build-pass
 //@ needs-asm-support
 //@ needs-unwind
 //@ ignore-backends: gcc

diff --git a/tests/ui/associated-consts/associated-const-marks-live-code.rs b/tests/ui/associated-consts/associated-const-marks-live-code.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 #![deny(dead_code)]
 

diff --git a/tests/ui/associated-consts/mismatched_impl_ty_1.rs b/tests/ui/associated-consts/mismatched_impl_ty_1.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![feature(generic_const_exprs)]
 #![allow(incomplete_features)]
 

diff --git a/tests/ui/associated-consts/mismatched_impl_ty_2.rs b/tests/ui/associated-consts/mismatched_impl_ty_2.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 trait Trait {
     const ASSOC: fn(&'static u32);
 }

diff --git a/tests/ui/associated-consts/mismatched_impl_ty_3.rs b/tests/ui/associated-consts/mismatched_impl_ty_3.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 trait Trait {
     const ASSOC: for<'a, 'b> fn(&'a u32, &'b u32);
 }

diff --git a/tests/ui/associated-types/associated-types-binding-in-where-clause.rs b/tests/ui/associated-types/associated-types-binding-in-where-clause.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Test equality constraints on associated types in a where clause.
 
 

diff --git a/tests/ui/associated-types/associated-types-conditional-dispatch.rs b/tests/ui/associated-types/associated-types-conditional-dispatch.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Test that we evaluate projection predicates to winnow out
 // candidates during trait selection and method resolution (#20296).
 // If we don't properly winnow out candidates based on the output type

diff --git a/tests/ui/associated-types/associated-types-duplicate-binding-in-env-hrtb.rs b/tests/ui/associated-types/associated-types-duplicate-binding-in-env-hrtb.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 // Check that we do not report ambiguities when equivalent predicates
 // (modulo bound lifetime names) appears in the environment

diff --git a/tests/ui/associated-types/associated-types-duplicate-binding-in-env.rs b/tests/ui/associated-types/associated-types-duplicate-binding-in-env.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 // Check that we do not report ambiguities when the same predicate
 // appears in the environment twice. Issue #21965.

diff --git a/tests/ui/associated-types/associated-types-eq-obj.rs b/tests/ui/associated-types/associated-types-eq-obj.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Test equality constraints on associated types inside of an object type
 
 

diff --git a/tests/ui/associated-types/associated-types-from-supertrait.rs b/tests/ui/associated-types/associated-types-from-supertrait.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 trait Foo: Iterator<Item = i32> {}
 trait Bar: Foo {}

diff --git a/tests/ui/associated-types/associated-types-impl-redirect.rs b/tests/ui/associated-types/associated-types-impl-redirect.rs
@@ -1,5 +1,5 @@
 //@ edition:2015
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_mut)]
 #![allow(unused_imports)]

diff --git a/tests/ui/associated-types/associated-types-issue-21212.rs b/tests/ui/associated-types/associated-types-issue-21212.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_variables)]
 // Regression test for #21212: an overflow occurred during trait
 // checking where normalizing `Self::Input` led to normalizing the

diff --git a/tests/ui/associated-types/associated-types-method.rs b/tests/ui/associated-types/associated-types-method.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Test that methods whose impl-trait-ref contains associated types
 // are supported.
 

diff --git a/tests/ui/associated-types/associated-types-nested-projections.rs b/tests/ui/associated-types/associated-types-nested-projections.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_variables)]
 // Test that we can resolve nested projection types. Issue #20666.
 

diff --git a/tests/ui/associated-types/associated-types-normalize-in-bounds-binding.rs b/tests/ui/associated-types/associated-types-normalize-in-bounds-binding.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_variables)]
 // Test that we normalize associated types that appear in a bound that
 // contains a binding. Issue #21664.

diff --git a/tests/ui/associated-types/associated-types-normalize-unifield-struct.rs b/tests/ui/associated-types/associated-types-normalize-unifield-struct.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Regression test for issue #21010: Normalize associated types in
 // various special paths in the `type_is_immediate` function.
 

diff --git a/tests/ui/associated-types/associated-types-projection-in-object-type.rs b/tests/ui/associated-types/associated-types-projection-in-object-type.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_imports)]
 // Corrected regression test for #20831. The original did not compile.

diff --git a/tests/ui/associated-types/associated-types-ref-from-struct.rs b/tests/ui/associated-types/associated-types-ref-from-struct.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Test associated type references in structure fields.
 
 

diff --git a/tests/ui/associated-types/associated-types-region-erasure-issue-20582.rs b/tests/ui/associated-types/associated-types-region-erasure-issue-20582.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ build-pass
 #![allow(dead_code)]
 // Regression test for #20582. This test caused an ICE related to
 // inconsistent region erasure in codegen.

diff --git a/tests/ui/associated-types/associated-types-sugar-path.rs b/tests/ui/associated-types/associated-types-sugar-path.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_variables)]
 #![allow(unused_imports)]

diff --git a/tests/ui/associated-types/associated-types-where-clause-impl-ambiguity.rs b/tests/ui/associated-types/associated-types-where-clause-impl-ambiguity.rs
@@ -1,5 +1,5 @@
 //@ edition:2015
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_imports)]
 // Test how resolving a projection interacts with inference.  In this

diff --git a/tests/ui/associated-types/issue-22828.rs b/tests/ui/associated-types/issue-22828.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 // Test transitive analysis for associated types. Collected types
 // should be normalized and new obligations generated.

diff --git a/tests/ui/associated-types/issue-23208.rs b/tests/ui/associated-types/issue-23208.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 trait TheTrait : TheSuperTrait<<Self as TheTrait>::Item> {
     type Item;
 }

diff --git a/tests/ui/associated-types/issue-25339.rs b/tests/ui/associated-types/issue-25339.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_variables)]
 #![feature(associated_type_defaults)]

diff --git a/tests/ui/associated-types/issue-47139-1.rs b/tests/ui/associated-types/issue-47139-1.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Regression test for issue #47139:
 //
 // Coherence was encountering an (unnecessary) overflow trying to

diff --git a/tests/ui/associated-types/issue-47139-2.rs b/tests/ui/associated-types/issue-47139-2.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Regression test for issue #47139:
 //
 // Same as issue-47139-1.rs, but the impls of dummy are in the

diff --git a/tests/ui/associated-types/issue-54467.rs b/tests/ui/associated-types/issue-54467.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 pub trait Stream {
     type Item;

diff --git a/tests/ui/async-await/async-drop/ex-ice-132103.rs b/tests/ui/async-await/async-drop/ex-ice-132103.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ build-pass
 //! This test used to ICE: rust-lang/rust#132103
 //! Fixed when re-work async drop to shim drop glue coroutine scheme.
 //@ compile-flags: -Zvalidate-mir -Zinline-mir=yes

diff --git a/tests/ui/async-await/context-is-sorta-unwindsafe.rs b/tests/ui/async-await/context-is-sorta-unwindsafe.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ build-pass
 // Tests against a regression surfaced by crater in https://github.com/rust-lang/rust/issues/125193
 // Unwind Safety is not a very coherent concept, but we'd prefer no regressions until we kibosh it
 // and this is an unstable feature anyways sooo...

diff --git a/tests/ui/async-await/interior-with-const-generic-expr.rs b/tests/ui/async-await/interior-with-const-generic-expr.rs
@@ -1,5 +1,5 @@
 //@ edition:2018
-//@ run-pass
+//@ build-pass
 
 #![allow(incomplete_features)]
 #![feature(generic_const_exprs)]

diff --git a/tests/ui/async-await/issue-60709.rs b/tests/ui/async-await/issue-60709.rs
@@ -3,7 +3,7 @@
 //@ compile-flags: -Copt-level=z -Cdebuginfo=2
 //@ edition: 2018
 
-//@ run-pass
+//@ build-pass
 
 use std::future::Future;
 use std::task::Poll;

diff --git a/tests/ui/async-await/issues/issue-54752-async-block.rs b/tests/ui/async-await/issues/issue-54752-async-block.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 //@ edition:2018
 //@ pp-exact

diff --git a/tests/ui/async-await/issues/issue-55809.rs b/tests/ui/async-await/issues/issue-55809.rs
@@ -1,5 +1,5 @@
 //@ edition:2018
-//@ run-pass
+//@ check-pass
 
 trait Foo { }
 

diff --git a/tests/ui/async-await/issues/issue-59972.rs b/tests/ui/async-await/issues/issue-59972.rs
@@ -2,7 +2,7 @@
 // types as entirely uninhabited, when they were in fact constructible. This
 // caused us to hit "unreachable" code (illegal instruction on x86).
 
-//@ run-pass
+//@ check-pass
 
 //@ compile-flags: -Aunused
 //@ edition: 2018

diff --git a/tests/ui/async-await/multiple-lifetimes/elided.rs b/tests/ui/async-await/multiple-lifetimes/elided.rs
@@ -1,5 +1,5 @@
 //@ edition:2018
-//@ run-pass
+//@ check-pass
 
 // Test that we can use async fns with multiple arbitrary lifetimes.
 

diff --git a/tests/ui/async-await/multiple-lifetimes/fn-ptr.rs b/tests/ui/async-await/multiple-lifetimes/fn-ptr.rs
@@ -1,5 +1,5 @@
 //@ edition:2018
-//@ run-pass
+//@ check-pass
 
 // Test that we can use async fns with multiple arbitrary lifetimes.
 

diff --git a/tests/ui/async-await/multiple-lifetimes/named.rs b/tests/ui/async-await/multiple-lifetimes/named.rs
@@ -1,5 +1,5 @@
 //@ edition:2018
-//@ run-pass
+//@ check-pass
 
 // Test that we can use async fns with multiple arbitrary lifetimes.
 

diff --git a/tests/ui/async-await/multiple-lifetimes/partial-relation.rs b/tests/ui/async-await/multiple-lifetimes/partial-relation.rs
@@ -1,5 +1,5 @@
 //@ edition:2018
-//@ run-pass
+//@ check-pass
 
 async fn lotsa_lifetimes<'a, 'b, 'c>(a: &'a u32, b: &'b u32, c: &'c u32) -> (&'a u32, &'b u32)
     where 'b: 'a

diff --git a/tests/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs b/tests/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs
@@ -1,5 +1,5 @@
 //@ edition:2018
-//@ run-pass
+//@ check-pass
 
 // Test member constraints that appear in the `impl Trait`
 // return type of an async function.

diff --git a/tests/ui/attributes/crate-name-attr-validation.rs b/tests/ui/attributes/crate-name-attr-validation.rs
@@ -1,6 +1,6 @@
 //! Checks proper validation of the `#![crate_name]` attribute.
 
-//@ run-pass
+//@ check-pass
 //@ compile-flags:--crate-name crate_name_attr_used -F unused-attributes
 
 

diff --git a/tests/ui/attributes/inline-attribute-on-closure.rs b/tests/ui/attributes/inline-attribute-on-closure.rs
@@ -1,6 +1,6 @@
 //! Regression test for https://github.com/rust-lang/rust/issues/49632
 
-//@ run-pass
+//@ build-pass
 #![feature(stmt_expr_attributes)]
 
 pub fn main() {

diff --git a/tests/ui/attributes/inline-main.rs b/tests/ui/attributes/inline-main.rs
@@ -1,6 +1,6 @@
 //! Test that #[inline(always)] can be applied to main function
 
-//@ run-pass
+//@ check-pass
 
 #[inline(always)]
 fn main() {}
diff --git a/tests/ui/attributes/log-backtrace.rs b/tests/ui/attributes/log-backtrace.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 //
 // This test makes sure that log-backtrace option at least parses correctly
 //

diff --git a/tests/ui/auto-traits/auto-is-contextual.rs b/tests/ui/auto-traits/auto-is-contextual.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 #![allow(path_statements)]
 #![allow(dead_code)]

diff --git a/tests/ui/auto-traits/auto-traits-type-parameter.rs b/tests/ui/auto-traits/auto-traits-type-parameter.rs
@@ -1,7 +1,7 @@
 //! Checks how type parameters interact with auto-traits like `Send` and `Sync` with implicit
 //! bounds
 
-//@ run-pass
+//@ check-pass
 
 #![allow(non_camel_case_types)]
 #![allow(dead_code)]

diff --git a/tests/ui/auto-traits/auto-traits.rs b/tests/ui/auto-traits/auto-traits.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_doc_comments)]
 #![feature(auto_traits)]
 #![feature(negative_impls)]

diff --git a/tests/ui/autoref-autoderef/auto-ref-bounded-ty-param.rs b/tests/ui/autoref-autoderef/auto-ref-bounded-ty-param.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 trait Foo {
     fn f(&self);
 }