Embers-of-the-Fire · Embers-of-the-Fire · May 9, 2026 · Mar 26, 2026 · Mar 26, 2026 · Mar 26, 2026
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/bench/issue-32062.rs b/tests/ui/bench/issue-32062.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 
 fn main() {

diff --git a/tests/ui/dropck/cleanup-arm-conditional.rs b/tests/ui/dropck/cleanup-arm-conditional.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 #![allow(unused_imports)]
 // Test that cleanup scope for temporaries created in a match

diff --git a/tests/ui/dropck/dropck-empty-array.rs b/tests/ui/dropck/dropck-empty-array.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 #![allow(dead_code, unused_variables, unused_assignments)]
 

diff --git a/tests/ui/dropck/dropck_fn_type.rs b/tests/ui/dropck/dropck_fn_type.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 //! Regression test for #58311, regarding the usage of Fn types in drop impls
 
 // All of this Drop impls should compile.

diff --git a/tests/ui/dropck/dropck_traits.rs b/tests/ui/dropck/dropck_traits.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 //! Regression test for #34426, regarding HRTB in drop impls
 
 // All of this Drop impls should compile.

diff --git a/tests/ui/dropck/issue-24805-dropck-itemless.rs b/tests/ui/dropck/issue-24805-dropck-itemless.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 // Check that item-less traits do not cause dropck to inject extra
 // region constraints.

diff --git a/tests/ui/dropck/issue-29844.rs b/tests/ui/dropck/issue-29844.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 use std::sync::Arc;
 
 pub struct DescriptorSet<'a> {

diff --git a/tests/ui/explicit-tail-calls/callee_is_track_caller_polymorphic.rs b/tests/ui/explicit-tail-calls/callee_is_track_caller_polymorphic.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 //@ ignore-pass
 //@ ignore-backends: gcc
 #![expect(incomplete_features)]

diff --git a/tests/ui/generics/default-type-params-well-formedness.rs b/tests/ui/generics/default-type-params-well-formedness.rs
@@ -2,7 +2,7 @@
 //!
 //! Regression Test for: https://github.com/rust-lang/rust/issues/49344
 
-//@ run-pass
+//@ check-pass
 
 #![allow(dead_code)]
 

diff --git a/tests/ui/generics/empty-generic-brackets-equiv.rs b/tests/ui/generics/empty-generic-brackets-equiv.rs
@@ -3,7 +3,7 @@
 //! Checks` that empty angle brackets <> are syntactically valid and equivalent
 //! to omitting type parameters entirely across various language constructs.
 
-//@ run-pass
+//@ check-pass
 
 struct S<>;
 trait T<> {} //~ WARN trait `T` is never used

diff --git a/tests/ui/generics/generic-associated-type-deref-target-56237.rs b/tests/ui/generics/generic-associated-type-deref-target-56237.rs
@@ -1,5 +1,5 @@
 // https://github.com/rust-lang/rust/issues/56237
-//@ run-pass
+//@ check-pass
 
 use std::ops::Deref;
 

diff --git a/tests/ui/generics/generic-fn-twice.rs b/tests/ui/generics/generic-fn-twice.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 
 

diff --git a/tests/ui/generics/generic-ivec-leak.rs b/tests/ui/generics/generic-ivec-leak.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(non_camel_case_types)]
 enum wrapper<T> { wrapped(#[allow(dead_code)] T), }
 

diff --git a/tests/ui/generics/generic-newtype-struct.rs b/tests/ui/generics/generic-newtype-struct.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 struct S<T>(#[allow(dead_code)] T);
 

diff --git a/tests/ui/generics/generic-recursive-tag.rs b/tests/ui/generics/generic-recursive-tag.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(non_camel_case_types)]
 
 enum list<T> { #[allow(dead_code)] cons(Box<T>, Box<list<T>>), nil, }

diff --git a/tests/ui/generics/generic-tag-corruption.rs b/tests/ui/generics/generic-tag-corruption.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(non_camel_case_types)]
 
 

diff --git a/tests/ui/generics/generic-tag-local.rs b/tests/ui/generics/generic-tag-local.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(non_camel_case_types)]
 
 

diff --git a/tests/ui/generics/generic-tag.rs b/tests/ui/generics/generic-tag.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_assignments)]
 #![allow(non_camel_case_types)]
 

diff --git a/tests/ui/generics/generic-type-synonym.rs b/tests/ui/generics/generic-type-synonym.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 
 

diff --git a/tests/ui/generics/mid-path-type-params.rs b/tests/ui/generics/mid-path-type-params.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 #![allow(dead_code)]
 

diff --git a/tests/ui/let-else/issue-99975.rs b/tests/ui/let-else/issue-99975.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 //@ compile-flags: -C opt-level=3 -Zvalidate-mir
 
 

diff --git a/tests/ui/let-else/let-else-non-copy.rs b/tests/ui/let-else/let-else-non-copy.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 //
 // This is derived from a change to compiler/rustc_codegen_llvm/src/debuginfo/metadata.rs, in
 // preparation for adopting let-else within the compiler (thanks @est31):

diff --git a/tests/ui/moves/move-nullary-fn.rs b/tests/ui/moves/move-nullary-fn.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Issue #922
 
 fn f2<F>(_thing: F) where F: FnOnce() { }

diff --git a/tests/ui/non_modrs_mods/non_modrs_mods.rs b/tests/ui/non_modrs_mods/non_modrs_mods.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ build-pass
 //
 pub mod modrs_mod;
 pub mod foors_mod;

diff --git a/tests/ui/regions/regions-addr-of-interior-of-unique-box.rs b/tests/ui/regions/regions-addr-of-interior-of-unique-box.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 
 

diff --git a/tests/ui/regions/regions-assoc-type-region-bound.rs b/tests/ui/regions/regions-assoc-type-region-bound.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 // Test that the compiler considers the 'a bound declared in the
 // trait. Issue #20890.

diff --git a/tests/ui/regions/regions-bound-lists-feature-gate-2.rs b/tests/ui/regions/regions-bound-lists-feature-gate-2.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 
 trait Foo {

diff --git a/tests/ui/regions/regions-bound-lists-feature-gate.rs b/tests/ui/regions/regions-bound-lists-feature-gate.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_variables)]
 

diff --git a/tests/ui/regions/regions-creating-enums2.rs b/tests/ui/regions/regions-creating-enums2.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(non_camel_case_types)]
 

diff --git a/tests/ui/regions/regions-creating-enums5.rs b/tests/ui/regions/regions-creating-enums5.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(non_camel_case_types)]
 

diff --git a/tests/ui/regions/regions-debruijn-of-object.rs b/tests/ui/regions/regions-debruijn-of-object.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_variables)]
 #![allow(non_camel_case_types)]

diff --git a/tests/ui/regions/regions-dependent-autofn.rs b/tests/ui/regions/regions-dependent-autofn.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Test lifetimes are linked properly when we autoslice a vector.
 // Issue #3148.
 

diff --git a/tests/ui/regions/regions-dependent-autoslice.rs b/tests/ui/regions/regions-dependent-autoslice.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Test lifetimes are linked properly when we autoslice a vector.
 // Issue #3148.
 

diff --git a/tests/ui/regions/regions-dependent-let-ref.rs b/tests/ui/regions/regions-dependent-let-ref.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Test lifetimes are linked properly when we take reference
 // to interior.
 

diff --git a/tests/ui/regions/regions-early-bound-lifetime-in-assoc-fn.rs b/tests/ui/regions/regions-early-bound-lifetime-in-assoc-fn.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_imports)]
 // Test that we are able to compile calls to associated fns like
 // `decode()` where the bound on the `Self` parameter references a

diff --git a/tests/ui/regions/regions-expl-self.rs b/tests/ui/regions/regions-expl-self.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 // Test that you can insert an explicit lifetime in explicit self.
 

diff --git a/tests/ui/regions/regions-fn-subtyping-2.rs b/tests/ui/regions/regions-fn-subtyping-2.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 // Issue #2263.
 

diff --git a/tests/ui/regions/regions-fn-subtyping.rs b/tests/ui/regions/regions-fn-subtyping.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_assignments)]
 // Issue #2263.

diff --git a/tests/ui/regions/regions-infer-reborrow-ref-mut-recurse.rs b/tests/ui/regions/regions-infer-reborrow-ref-mut-recurse.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 // Test an edge case in region inference: the lifetime of the borrow
 // of `*x` must be extended to at least 'a.

diff --git a/tests/ui/regions/regions-issue-21422.rs b/tests/ui/regions/regions-issue-21422.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Regression test for issue #21422, which was related to failing to
 // add inference constraints that the operands of a binary operator
 // should outlive the binary operation itself.

diff --git a/tests/ui/regions/regions-issue-22246.rs b/tests/ui/regions/regions-issue-22246.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_imports)]
 // Regression test for issue #22246 -- we should be able to deduce
 // that `&'a B::Owned` implies that `B::Owned : 'a`.

diff --git a/tests/ui/regions/regions-link-fn-args.rs b/tests/ui/regions/regions-link-fn-args.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 // Test that region inference correctly links up the regions when a
 // `ref` borrow occurs inside a fn argument.
 

diff --git a/tests/ui/regions/regions-lub-ref-ref-rc.rs b/tests/ui/regions/regions-lub-ref-ref-rc.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 // Test a corner case of LUB coercion. In this case, one arm of the
 // match requires a deref coercion and the other doesn't, and there

diff --git a/tests/ui/regions/regions-no-bound-in-argument-cleanup.rs b/tests/ui/regions/regions-no-bound-in-argument-cleanup.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 use std::marker;
 

diff --git a/tests/ui/regions/regions-nullary-variant.rs b/tests/ui/regions/regions-nullary-variant.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(non_camel_case_types)]
 

diff --git a/tests/ui/regions/regions-reassign-let-bound-pointer.rs b/tests/ui/regions/regions-reassign-let-bound-pointer.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_assignments)]
 #![allow(unused_variables)]
 // Check that the type checker permits us to reassign `z` which

diff --git a/tests/ui/regions/regions-reassign-match-bound-pointer.rs b/tests/ui/regions/regions-reassign-match-bound-pointer.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_assignments)]
 #![allow(unused_variables)]
 // Check that the type checker permits us to reassign `z` which

diff --git a/tests/ui/regions/regions-scope-chain-example.rs b/tests/ui/regions/regions-scope-chain-example.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_variables)]
 // This is an example where the older inference algorithm failed. The

diff --git a/tests/ui/regions/regions-variance-contravariant-use-contravariant.rs b/tests/ui/regions/regions-variance-contravariant-use-contravariant.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 #![allow(unused_variables)]
 // Test that a type which is contravariant with respect to its region

diff --git a/tests/ui/regions/wf-bound-region-in-object-type.rs b/tests/ui/regions/wf-bound-region-in-object-type.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 
 #![allow(dead_code)]
 #![allow(unused_variables)]

diff --git a/tests/ui/sized/coinductive-2.rs b/tests/ui/sized/coinductive-2.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 struct Node<C: CollectionFactory<Self>> {
     _children: C::Collection,
 }

diff --git a/tests/ui/specialization/defaultimpl/projection.rs b/tests/ui/specialization/defaultimpl/projection.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(dead_code)]
 
 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete

diff --git a/tests/ui/where-clauses/where-clause-early-bound-lifetimes.rs b/tests/ui/where-clauses/where-clause-early-bound-lifetimes.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(non_upper_case_globals)]
 
 

diff --git a/tests/ui/where-clauses/where-clause-method-substituion-rpass.rs b/tests/ui/where-clauses/where-clause-method-substituion-rpass.rs
@@ -1,4 +1,4 @@
-//@ run-pass
+//@ check-pass
 #![allow(unused_variables)]
 
 trait Foo<T> { fn dummy(&self, arg: T) { } } //~ WARN method `dummy` is never used