From 26c8b64d3d7d78af4f743a8dd9e61eb500bcb956 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 10:53:28 +0100 Subject: [PATCH 01/79] test: audit auto-traits test --- tests/ui/auto-traits/auto-is-contextual.rs | 2 +- tests/ui/auto-traits/auto-traits-type-parameter.rs | 2 +- tests/ui/auto-traits/auto-traits.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/ui/auto-traits/auto-is-contextual.rs b/tests/ui/auto-traits/auto-is-contextual.rs index 2183a8c110c68..a311009f986d6 100644 --- 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 index 0c448f5899672..f2b17a82519fd 100644 --- 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 index 22b210eb3fabd..cae0f911d8758 100644 --- 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)] From a3d9902383b66897e06697d1f3fa78ec5f3c245e Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 10:58:31 +0100 Subject: [PATCH 02/79] test: audit where-clauses test --- tests/ui/where-clauses/where-clause-early-bound-lifetimes.rs | 2 +- tests/ui/where-clauses/where-clause-method-substituion-rpass.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/where-clauses/where-clause-early-bound-lifetimes.rs b/tests/ui/where-clauses/where-clause-early-bound-lifetimes.rs index 153fa8a5715a1..42f79cbeda103 100644 --- 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 index da75ed796c00f..702a6a206ca62 100644 --- 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 { fn dummy(&self, arg: T) { } } //~ WARN method `dummy` is never used From 1d548c1979eaac4f612e5aa9799e6341a0ac12db Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 11:34:36 +0100 Subject: [PATCH 03/79] test: audit let-else test --- tests/ui/let-else/issue-99975.rs | 2 +- tests/ui/let-else/let-else-non-copy.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/let-else/issue-99975.rs b/tests/ui/let-else/issue-99975.rs index 244d946392fc7..ebb4f46e0fe71 100644 --- 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 index 4f59824396ef5..802cf46d57495 100644 --- 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): From b11135c8e9c027cb3b223ad9d48f7feacee8c63a Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 12:26:57 +0100 Subject: [PATCH 04/79] test: audit sized tests --- tests/ui/sized/coinductive-2.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/sized/coinductive-2.rs b/tests/ui/sized/coinductive-2.rs index 277dd8c878aa1..d342b045c45d6 100644 --- a/tests/ui/sized/coinductive-2.rs +++ b/tests/ui/sized/coinductive-2.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass struct Node> { _children: C::Collection, } From 18ecd192df4cf3298dcb524cfe16a4eb7f277a41 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 12:56:11 +0100 Subject: [PATCH 05/79] test: audit generics tests --- tests/ui/generics/default-type-params-well-formedness.rs | 2 +- tests/ui/generics/empty-generic-brackets-equiv.rs | 2 +- tests/ui/generics/generic-associated-type-deref-target-56237.rs | 2 +- tests/ui/generics/generic-fn-twice.rs | 2 +- tests/ui/generics/generic-ivec-leak.rs | 2 +- tests/ui/generics/generic-newtype-struct.rs | 2 +- tests/ui/generics/generic-recursive-tag.rs | 2 +- tests/ui/generics/generic-tag-corruption.rs | 2 +- tests/ui/generics/generic-tag-local.rs | 2 +- tests/ui/generics/generic-tag.rs | 2 +- tests/ui/generics/generic-type-synonym.rs | 2 +- tests/ui/generics/mid-path-type-params.rs | 2 +- 12 files changed, 12 insertions(+), 12 deletions(-) diff --git a/tests/ui/generics/default-type-params-well-formedness.rs b/tests/ui/generics/default-type-params-well-formedness.rs index 22b8f5011f7e9..55d6b5fd8ea88 100644 --- 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 index d84498a60f80d..f6bac60b33544 100644 --- 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 index 2050ca377e8c1..f7eee52ebd23b 100644 --- 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 index 26d6f750c80f8..fe5a3f5521d81 100644 --- 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 index 1150b7f1c835d..ec327a1ab27a0 100644 --- 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 { wrapped(#[allow(dead_code)] T), } diff --git a/tests/ui/generics/generic-newtype-struct.rs b/tests/ui/generics/generic-newtype-struct.rs index 4cb481044f203..0f4552f081e6a 100644 --- 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(#[allow(dead_code)] T); diff --git a/tests/ui/generics/generic-recursive-tag.rs b/tests/ui/generics/generic-recursive-tag.rs index b5c3f6c2de8ad..b944a8eb4c21a 100644 --- 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 { #[allow(dead_code)] cons(Box, Box>), nil, } diff --git a/tests/ui/generics/generic-tag-corruption.rs b/tests/ui/generics/generic-tag-corruption.rs index b7fd66a052394..ced601b3a6d5d 100644 --- 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 index 025827783c3e4..5d64ac0cda447 100644 --- 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 index 98350e93ecebd..0371f2d63e942 100644 --- 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 index a8a946d5ed2ad..0b8a48bd7f7f3 100644 --- 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 index 5100e8e73531e..d07f83ae851b7 100644 --- 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)] From f710333edd59f1e861d3cc97951118fa760cb6e3 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 13:37:08 +0100 Subject: [PATCH 06/79] test: audit moves test --- tests/ui/moves/move-nullary-fn.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/moves/move-nullary-fn.rs b/tests/ui/moves/move-nullary-fn.rs index 0480d2b10454e..a672770851ebb 100644 --- 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(_thing: F) where F: FnOnce() { } From 4bca9fab4cd2f9dab3977d9f08cff0756a76c389 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 13:38:29 +0100 Subject: [PATCH 07/79] test: audit specialization test --- tests/ui/specialization/defaultimpl/projection.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/specialization/defaultimpl/projection.rs b/tests/ui/specialization/defaultimpl/projection.rs index 7a77c76a5ac5f..d4f70a6ce2891 100644 --- 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 From cc59c2744fc291ca9d10c3f5b0303f0720fadf16 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 13:40:30 +0100 Subject: [PATCH 08/79] test: audit non_modrs_mods test --- tests/ui/non_modrs_mods/non_modrs_mods.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/non_modrs_mods/non_modrs_mods.rs b/tests/ui/non_modrs_mods/non_modrs_mods.rs index acc326dd0e0f4..6ee81abea1025 100644 --- 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; From fd5122e85cd3441407bdcae6dc8dd4d7d6296e5a Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 13:58:37 +0100 Subject: [PATCH 09/79] test: audit dropck test --- tests/ui/dropck/cleanup-arm-conditional.rs | 2 +- tests/ui/dropck/dropck-empty-array.rs | 2 +- tests/ui/dropck/dropck_fn_type.rs | 2 +- tests/ui/dropck/dropck_traits.rs | 2 +- tests/ui/dropck/issue-24805-dropck-itemless.rs | 2 +- tests/ui/dropck/issue-29844.rs | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/tests/ui/dropck/cleanup-arm-conditional.rs b/tests/ui/dropck/cleanup-arm-conditional.rs index 7afbf9595da5d..5659e5bf31c21 100644 --- 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 index 5df274d455420..4e68960b091e7 100644 --- 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 index 0695fc8012ff4..e3332eccef648 100644 --- 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 index 6f14aa82373be..141892c1af557 100644 --- 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 index 8519bcc996131..3f40f91cfdccd 100644 --- 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 index 2538fbe257aac..1067677efb515 100644 --- 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> { From 5f429df9aa7989485ab2dea764013850028a418a Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 14:00:15 +0100 Subject: [PATCH 10/79] test: audit bench test --- tests/ui/bench/issue-32062.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/bench/issue-32062.rs b/tests/ui/bench/issue-32062.rs index a7d1f8073d46b..bea7d8d89cb16 100644 --- a/tests/ui/bench/issue-32062.rs +++ b/tests/ui/bench/issue-32062.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass fn main() { From d45cb221651fa58cee5773d22189966333803dc0 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 14:02:38 +0100 Subject: [PATCH 11/79] test: audit explicit-tail-calls test --- .../explicit-tail-calls/callee_is_track_caller_polymorphic.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 index 51688897b4001..a00eddb01865a 100644 --- 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)] From 1c2aca94cf3eabb3ee42f77837525eae422537be Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 26 Mar 2026 15:10:22 +0100 Subject: [PATCH 12/79] test: audit regions test --- tests/ui/regions/regions-addr-of-interior-of-unique-box.rs | 2 +- tests/ui/regions/regions-assoc-type-region-bound.rs | 2 +- tests/ui/regions/regions-bound-lists-feature-gate-2.rs | 2 +- tests/ui/regions/regions-bound-lists-feature-gate.rs | 2 +- tests/ui/regions/regions-creating-enums2.rs | 2 +- tests/ui/regions/regions-creating-enums5.rs | 2 +- tests/ui/regions/regions-debruijn-of-object.rs | 2 +- tests/ui/regions/regions-dependent-autofn.rs | 2 +- tests/ui/regions/regions-dependent-autoslice.rs | 2 +- tests/ui/regions/regions-dependent-let-ref.rs | 2 +- tests/ui/regions/regions-early-bound-lifetime-in-assoc-fn.rs | 2 +- tests/ui/regions/regions-expl-self.rs | 2 +- tests/ui/regions/regions-fn-subtyping-2.rs | 2 +- tests/ui/regions/regions-fn-subtyping.rs | 2 +- tests/ui/regions/regions-infer-reborrow-ref-mut-recurse.rs | 2 +- tests/ui/regions/regions-issue-21422.rs | 2 +- tests/ui/regions/regions-issue-22246.rs | 2 +- tests/ui/regions/regions-link-fn-args.rs | 2 +- tests/ui/regions/regions-lub-ref-ref-rc.rs | 2 +- tests/ui/regions/regions-no-bound-in-argument-cleanup.rs | 2 +- tests/ui/regions/regions-nullary-variant.rs | 2 +- tests/ui/regions/regions-reassign-let-bound-pointer.rs | 2 +- tests/ui/regions/regions-reassign-match-bound-pointer.rs | 2 +- tests/ui/regions/regions-scope-chain-example.rs | 2 +- .../regions/regions-variance-contravariant-use-contravariant.rs | 2 +- tests/ui/regions/wf-bound-region-in-object-type.rs | 2 +- 26 files changed, 26 insertions(+), 26 deletions(-) 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 index 9dd49d35d44a4..91b4bf2c15016 100644 --- 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 index 86c8359b61a0d..280fbd944a0f8 100644 --- 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 index 6cdae0d49081e..6207c8148b0d9 100644 --- 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 index 23878f5b406f1..3c11d50647fad 100644 --- 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 index de6e51b1fbd64..53945b1113ff4 100644 --- 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 index 14221a9d75f6c..c715b0ee34f70 100644 --- 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 index a2de66aef3709..9513e110dfa19 100644 --- 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 index c58ae5e24ee3e..819d1b2c77874 100644 --- 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 index 3672b99151d3e..003d25e12bc6e 100644 --- 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 index 23b46abc91d25..16abdd0965943 100644 --- 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 index c08142154edbd..8b21f3c5ea128 100644 --- 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 index 552204867f630..665719885b550 100644 --- 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 index 98be8de8671b7..6bdddd4b234ec 100644 --- 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 index dacd2f007c107..e2a4de9b2487a 100644 --- 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 index f4e5c3a93a653..479ce6502c3fa 100644 --- 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 index 25f5d0f50139f..587c12dbe40bd 100644 --- 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 index c943f33150eab..0d3c30b74094e 100644 --- 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 index 9172ebf9664fe..328e6ca5ec2d8 100644 --- 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 index d20bc73940671..58362c279c869 100644 --- 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 index 3836c661df8ef..4d958030483ae 100644 --- 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 index 24c5c6765a86c..6cb2a2a280297 100644 --- 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 index 7ecfd95851271..32658e759c735 100644 --- 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 index e549804db4363..2b174d789cd69 100644 --- 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 index 184ce01589233..4f2eef853df32 100644 --- 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 index db7cf869450b4..9ba93825d195c 100644 --- 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 index c77845ab3060b..a85515c87228f 100644 --- 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)] From 646c411e4bdf86bdb76ab6ea144a86d83523bf12 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Tue, 31 Mar 2026 10:18:12 +0100 Subject: [PATCH 13/79] test(dropck): revert cleanup arm-conditional to run-pass --- tests/ui/dropck/cleanup-arm-conditional.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/dropck/cleanup-arm-conditional.rs b/tests/ui/dropck/cleanup-arm-conditional.rs index 5659e5bf31c21..7afbf9595da5d 100644 --- a/tests/ui/dropck/cleanup-arm-conditional.rs +++ b/tests/ui/dropck/cleanup-arm-conditional.rs @@ -1,4 +1,4 @@ -//@ check-pass +//@ run-pass #![allow(unused_imports)] // Test that cleanup scope for temporaries created in a match From f191c6bfb7ad37a786357f53c8c8e14eea99f6da Mon Sep 17 00:00:00 2001 From: Ayuse Date: Tue, 31 Mar 2026 12:01:19 +0100 Subject: [PATCH 14/79] test: audit lint tests --- tests/ui/lint/dead-code/associated-type.rs | 2 +- tests/ui/lint/dead-code/enum-variants.rs | 2 +- tests/ui/lint/issue-20343.rs | 2 +- ...issue-49588-non-shorthand-field-patterns-in-pattern-macro.rs | 2 +- tests/ui/lint/lint-cap.rs | 2 +- tests/ui/lint/lint-expr-stmt-attrs-for-early-lints.rs | 2 +- tests/ui/lint/must_not_suspend/generic.rs | 2 +- tests/ui/lint/must_not_suspend/handled.rs | 2 +- .../lint/must_not_suspend/mutex-guard-dropped-before-await.rs | 2 +- tests/ui/lint/must_not_suspend/warn.rs | 2 +- tests/ui/lint/unknown-lints-at-crate-level.rs | 2 +- tests/ui/lint/unused/issue-70041.rs | 2 +- tests/ui/lint/unused/no-unused-parens-return-block.rs | 2 +- tests/ui/lint/unused/unused-trait-fn.rs | 2 +- .../unused/unused_parens/unused-parens-in-macro-issue-120642.rs | 2 +- 15 files changed, 15 insertions(+), 15 deletions(-) diff --git a/tests/ui/lint/dead-code/associated-type.rs b/tests/ui/lint/dead-code/associated-type.rs index 542a64afbf2da..7ab717fea1184 100644 --- a/tests/ui/lint/dead-code/associated-type.rs +++ b/tests/ui/lint/dead-code/associated-type.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![deny(dead_code)] diff --git a/tests/ui/lint/dead-code/enum-variants.rs b/tests/ui/lint/dead-code/enum-variants.rs index 9499ffdecd748..113265f5d6cbe 100644 --- a/tests/ui/lint/dead-code/enum-variants.rs +++ b/tests/ui/lint/dead-code/enum-variants.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![deny(dead_code)] diff --git a/tests/ui/lint/issue-20343.rs b/tests/ui/lint/issue-20343.rs index da353c985c9a0..574a99adcde8a 100644 --- a/tests/ui/lint/issue-20343.rs +++ b/tests/ui/lint/issue-20343.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_variables)] // Regression test for Issue #20343. diff --git a/tests/ui/lint/issue-49588-non-shorthand-field-patterns-in-pattern-macro.rs b/tests/ui/lint/issue-49588-non-shorthand-field-patterns-in-pattern-macro.rs index 570b559eb61a8..7138e6388f87a 100644 --- a/tests/ui/lint/issue-49588-non-shorthand-field-patterns-in-pattern-macro.rs +++ b/tests/ui/lint/issue-49588-non-shorthand-field-patterns-in-pattern-macro.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![warn(unused)] #![deny(non_shorthand_field_patterns)] diff --git a/tests/ui/lint/lint-cap.rs b/tests/ui/lint/lint-cap.rs index 4f67a76f68f38..c1557cc464d57 100644 --- a/tests/ui/lint/lint-cap.rs +++ b/tests/ui/lint/lint-cap.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass //@ compile-flags: --cap-lints allow #![deny(warnings)] diff --git a/tests/ui/lint/lint-expr-stmt-attrs-for-early-lints.rs b/tests/ui/lint/lint-expr-stmt-attrs-for-early-lints.rs index 77ef6fab16cd1..daa9ad5133f6a 100644 --- a/tests/ui/lint/lint-expr-stmt-attrs-for-early-lints.rs +++ b/tests/ui/lint/lint-expr-stmt-attrs-for-early-lints.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![deny(unused_parens)] diff --git a/tests/ui/lint/must_not_suspend/generic.rs b/tests/ui/lint/must_not_suspend/generic.rs index b9b9ae8caa211..0ac4e450a0049 100644 --- a/tests/ui/lint/must_not_suspend/generic.rs +++ b/tests/ui/lint/must_not_suspend/generic.rs @@ -1,5 +1,5 @@ //@ edition:2018 -//@ run-pass +//@ check-pass // // this test shows a case where the lint doesn't fire in generic code #![feature(must_not_suspend)] diff --git a/tests/ui/lint/must_not_suspend/handled.rs b/tests/ui/lint/must_not_suspend/handled.rs index 9274bafa41593..36277d5035a51 100644 --- a/tests/ui/lint/must_not_suspend/handled.rs +++ b/tests/ui/lint/must_not_suspend/handled.rs @@ -1,5 +1,5 @@ //@ edition:2018 -//@ run-pass +//@ check-pass #![feature(must_not_suspend)] #![deny(must_not_suspend)] diff --git a/tests/ui/lint/must_not_suspend/mutex-guard-dropped-before-await.rs b/tests/ui/lint/must_not_suspend/mutex-guard-dropped-before-await.rs index d1c48c3c51457..fd84a27287dae 100644 --- a/tests/ui/lint/must_not_suspend/mutex-guard-dropped-before-await.rs +++ b/tests/ui/lint/must_not_suspend/mutex-guard-dropped-before-await.rs @@ -1,7 +1,7 @@ //! Regression test for //@ edition:2018 -//@ run-pass +//@ check-pass #![feature(must_not_suspend)] #![deny(must_not_suspend)] diff --git a/tests/ui/lint/must_not_suspend/warn.rs b/tests/ui/lint/must_not_suspend/warn.rs index 64432e4460ae8..4e8cd0d011650 100644 --- a/tests/ui/lint/must_not_suspend/warn.rs +++ b/tests/ui/lint/must_not_suspend/warn.rs @@ -1,5 +1,5 @@ //@ edition:2018 -//@ run-pass +//@ check-pass #![feature(must_not_suspend)] #![warn(must_not_suspend)] diff --git a/tests/ui/lint/unknown-lints-at-crate-level.rs b/tests/ui/lint/unknown-lints-at-crate-level.rs index c8cf65ce93a9a..83f9a696203c8 100644 --- a/tests/ui/lint/unknown-lints-at-crate-level.rs +++ b/tests/ui/lint/unknown-lints-at-crate-level.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass //@ compile-flags: -D warnings -D unknown-lints #![allow(unknown_lints)] diff --git a/tests/ui/lint/unused/issue-70041.rs b/tests/ui/lint/unused/issue-70041.rs index 890ba378263bc..bf1bf13a43776 100644 --- a/tests/ui/lint/unused/issue-70041.rs +++ b/tests/ui/lint/unused/issue-70041.rs @@ -1,5 +1,5 @@ //@ edition: 2018 -//@ run-pass +//@ check-pass macro_rules! regex { //~^ WARN unused macro definition diff --git a/tests/ui/lint/unused/no-unused-parens-return-block.rs b/tests/ui/lint/unused/no-unused-parens-return-block.rs index 57e5da0a47209..669135be1a319 100644 --- a/tests/ui/lint/unused/no-unused-parens-return-block.rs +++ b/tests/ui/lint/unused/no-unused-parens-return-block.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![deny(unused_parens)] #![allow(unreachable_code)] diff --git a/tests/ui/lint/unused/unused-trait-fn.rs b/tests/ui/lint/unused/unused-trait-fn.rs index 57b39c0de17ee..a2e497a69101c 100644 --- a/tests/ui/lint/unused/unused-trait-fn.rs +++ b/tests/ui/lint/unused/unused-trait-fn.rs @@ -1,5 +1,5 @@ //! regression test for -//@ run-pass +//@ check-pass trait Str { fn foo(&self) {} } //~ WARN method `foo` is never used impl Str for str {} diff --git a/tests/ui/lint/unused/unused_parens/unused-parens-in-macro-issue-120642.rs b/tests/ui/lint/unused/unused_parens/unused-parens-in-macro-issue-120642.rs index 59bb65a357bae..0b18355b54fb8 100644 --- a/tests/ui/lint/unused/unused_parens/unused-parens-in-macro-issue-120642.rs +++ b/tests/ui/lint/unused/unused_parens/unused-parens-in-macro-issue-120642.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![warn(unused_parens)] #![allow(dead_code)] From 6dc402fc0fa66b1aaa9e6cf6cb02b08eea97d3c6 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 1 Apr 2026 14:26:14 +0100 Subject: [PATCH 15/79] test: audit asm test --- tests/ui/asm/empty_global_asm.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/asm/empty_global_asm.rs b/tests/ui/asm/empty_global_asm.rs index 2517796ad107c..5d989b22cce5f 100644 --- 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; From 98da4c5ef4d31274988f8016928c196703281b89 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 1 Apr 2026 14:27:07 +0100 Subject: [PATCH 16/79] test: audit associated-types tests --- .../associated-types/associated-types-conditional-dispatch.rs | 2 +- .../associated-types-duplicate-binding-in-env-hrtb.rs | 2 +- .../associated-types-duplicate-binding-in-env.rs | 2 +- tests/ui/associated-types/associated-types-from-supertrait.rs | 2 +- tests/ui/associated-types/associated-types-impl-redirect.rs | 2 +- tests/ui/associated-types/associated-types-issue-21212.rs | 2 +- .../associated-types-normalize-in-bounds-binding.rs | 2 +- .../associated-types-projection-in-object-type.rs | 2 +- .../associated-types-region-erasure-issue-20582.rs | 2 +- .../associated-types-where-clause-impl-ambiguity.rs | 2 +- tests/ui/associated-types/issue-25339.rs | 2 +- tests/ui/associated-types/issue-47139-1.rs | 2 +- tests/ui/associated-types/issue-47139-2.rs | 2 +- 13 files changed, 13 insertions(+), 13 deletions(-) diff --git a/tests/ui/associated-types/associated-types-conditional-dispatch.rs b/tests/ui/associated-types/associated-types-conditional-dispatch.rs index 3ec835ccbc3ac..da7dbe200e10a 100644 --- 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 index 9bf7570534c50..c2c4f47280dc4 100644 --- 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 index 44c5634f4ef8a..73b13b61c9070 100644 --- 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-from-supertrait.rs b/tests/ui/associated-types/associated-types-from-supertrait.rs index d0d3878ed06ca..7351111e263a3 100644 --- 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 {} 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 index 11812c7212bb6..5aeca62f81b72 100644 --- 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 index 4d177b69bf891..fdb9581b1a642 100644 --- 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-normalize-in-bounds-binding.rs b/tests/ui/associated-types/associated-types-normalize-in-bounds-binding.rs index a6e426df1c920..98c08656fb66a 100644 --- 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-projection-in-object-type.rs b/tests/ui/associated-types/associated-types-projection-in-object-type.rs index d5d7a294dfd79..0629caef10493 100644 --- 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-region-erasure-issue-20582.rs b/tests/ui/associated-types/associated-types-region-erasure-issue-20582.rs index 7c556005f2d5c..5b765c13aa2d4 100644 --- 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-where-clause-impl-ambiguity.rs b/tests/ui/associated-types/associated-types-where-clause-impl-ambiguity.rs index fd40438704420..f07e4feb23660 100644 --- 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-25339.rs b/tests/ui/associated-types/issue-25339.rs index a18ddc2f20714..562a69d44202f 100644 --- 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 index 8c25ee118f6fb..d0c54e306c03b 100644 --- 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 index f99beee7f8f58..e1fb83ba3af2a 100644 --- 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 From 6000031baf43320073119e7f5c2a33c53e20a1e6 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 1 Apr 2026 14:27:21 +0100 Subject: [PATCH 17/79] test: audit box test --- tests/ui/box/unit/unique-generic-assign.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/box/unit/unique-generic-assign.rs b/tests/ui/box/unit/unique-generic-assign.rs index 2c5cb0c1112a3..7af134903baa7 100644 --- a/tests/ui/box/unit/unique-generic-assign.rs +++ b/tests/ui/box/unit/unique-generic-assign.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] // Issue #976 From fdbd3ef296d8804cd7ec60dae316362b55011ba2 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 1 Apr 2026 14:27:57 +0100 Subject: [PATCH 18/79] test: audit coroutine tests --- tests/ui/coroutine/borrow-in-tail-expr.rs | 2 +- tests/ui/coroutine/match-bindings.rs | 2 +- tests/ui/coroutine/other-attribute-on-gen.rs | 2 +- tests/ui/coroutine/reborrow-mut-upvar.rs | 2 +- tests/ui/coroutine/yield-in-args-rev.rs | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/tests/ui/coroutine/borrow-in-tail-expr.rs b/tests/ui/coroutine/borrow-in-tail-expr.rs index 380e95cfc7765..2873ede570ec2 100644 --- a/tests/ui/coroutine/borrow-in-tail-expr.rs +++ b/tests/ui/coroutine/borrow-in-tail-expr.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(coroutines, stmt_expr_attributes)] diff --git a/tests/ui/coroutine/match-bindings.rs b/tests/ui/coroutine/match-bindings.rs index 2a0cd9af9f382..25c5e0f17cf2e 100644 --- a/tests/ui/coroutine/match-bindings.rs +++ b/tests/ui/coroutine/match-bindings.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![feature(coroutines)] diff --git a/tests/ui/coroutine/other-attribute-on-gen.rs b/tests/ui/coroutine/other-attribute-on-gen.rs index e13a0abcbfd63..8d344a3386ce2 100644 --- a/tests/ui/coroutine/other-attribute-on-gen.rs +++ b/tests/ui/coroutine/other-attribute-on-gen.rs @@ -1,5 +1,5 @@ //@ edition: 2024 -//@ run-pass +//@ check-pass #![feature(gen_blocks)] #![feature(optimize_attribute)] #![feature(async_iterator)] diff --git a/tests/ui/coroutine/reborrow-mut-upvar.rs b/tests/ui/coroutine/reborrow-mut-upvar.rs index 716781e365c5a..56f42789eae94 100644 --- a/tests/ui/coroutine/reborrow-mut-upvar.rs +++ b/tests/ui/coroutine/reborrow-mut-upvar.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(coroutines)] diff --git a/tests/ui/coroutine/yield-in-args-rev.rs b/tests/ui/coroutine/yield-in-args-rev.rs index 29d79df25fbab..d44523d2786e1 100644 --- a/tests/ui/coroutine/yield-in-args-rev.rs +++ b/tests/ui/coroutine/yield-in-args-rev.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] // Test that a borrow that occurs after a yield in the same From 312c24eb348f6b70926319f68e3b6c0c6d38d632 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 1 Apr 2026 14:28:26 +0100 Subject: [PATCH 19/79] test: audit methods test --- tests/ui/methods/method-recursive-blanket-impl.rs | 2 +- .../methods/method-two-traits-distinguished-via-where-clause.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/methods/method-recursive-blanket-impl.rs b/tests/ui/methods/method-recursive-blanket-impl.rs index 547e57885e036..b4511f01a6e4b 100644 --- a/tests/ui/methods/method-recursive-blanket-impl.rs +++ b/tests/ui/methods/method-recursive-blanket-impl.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_variables)] #![allow(unused_imports)] // Test that we don't trigger on the blanket impl for all `&'a T` but diff --git a/tests/ui/methods/method-two-traits-distinguished-via-where-clause.rs b/tests/ui/methods/method-two-traits-distinguished-via-where-clause.rs index 2ef2848c21641..506a2455c9794 100644 --- a/tests/ui/methods/method-two-traits-distinguished-via-where-clause.rs +++ b/tests/ui/methods/method-two-traits-distinguished-via-where-clause.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Test that we select between traits A and B. To do that, we must // consider the `Sized` bound. From 63c4fdbe2dd792bbb3deb8888d2c75396fe29b12 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 1 Apr 2026 14:28:46 +0100 Subject: [PATCH 20/79] test: audit or-patterns test --- tests/ui/or-patterns/or-patterns-syntactic-pass-2021.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/or-patterns/or-patterns-syntactic-pass-2021.rs b/tests/ui/or-patterns/or-patterns-syntactic-pass-2021.rs index 040f03c08b4fb..42414878d48f9 100644 --- a/tests/ui/or-patterns/or-patterns-syntactic-pass-2021.rs +++ b/tests/ui/or-patterns/or-patterns-syntactic-pass-2021.rs @@ -1,6 +1,6 @@ // Tests that :pat in macros in edition 2021 allows top-level or-patterns. -//@ run-pass +//@ check-pass //@ edition:2021 macro_rules! accept_pat { From 8520142e8c928c5cb88c15180f41bdd68aa15e48 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 1 Apr 2026 14:29:08 +0100 Subject: [PATCH 21/79] test: audit privacy test --- tests/ui/privacy/pub-priv-dep/std-pub.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/privacy/pub-priv-dep/std-pub.rs b/tests/ui/privacy/pub-priv-dep/std-pub.rs index 348e8d10735a3..f7a5bb061dbbb 100644 --- a/tests/ui/privacy/pub-priv-dep/std-pub.rs +++ b/tests/ui/privacy/pub-priv-dep/std-pub.rs @@ -1,7 +1,7 @@ // The 'std' crates should always be implicitly public, // without having to pass any compiler arguments -//@ run-pass +//@ check-pass #![deny(exported_private_dependencies)] From ccad0aff2d78ba0654404fb1c6b9d138cc1be532 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 1 Apr 2026 14:29:57 +0100 Subject: [PATCH 22/79] test: audit reachable tests --- tests/ui/reachable/diverging-expressions-unreachable-code.rs | 2 +- tests/ui/reachable/reachable-unnameable-type-alias.rs | 2 +- tests/ui/reachable/unreachable-code-diverging-expressions.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/ui/reachable/diverging-expressions-unreachable-code.rs b/tests/ui/reachable/diverging-expressions-unreachable-code.rs index bb56987775ff2..ec77680ef182c 100644 --- a/tests/ui/reachable/diverging-expressions-unreachable-code.rs +++ b/tests/ui/reachable/diverging-expressions-unreachable-code.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_must_use)] #![allow(unreachable_code)] diff --git a/tests/ui/reachable/reachable-unnameable-type-alias.rs b/tests/ui/reachable/reachable-unnameable-type-alias.rs index 7e71cb1f113b3..dfb9ff1b53f51 100644 --- a/tests/ui/reachable/reachable-unnameable-type-alias.rs +++ b/tests/ui/reachable/reachable-unnameable-type-alias.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(staged_api)] #![stable(feature = "a", since = "3.3.3")] diff --git a/tests/ui/reachable/unreachable-code-diverging-expressions.rs b/tests/ui/reachable/unreachable-code-diverging-expressions.rs index c3bfbffcd58e0..a87675dea8570 100644 --- a/tests/ui/reachable/unreachable-code-diverging-expressions.rs +++ b/tests/ui/reachable/unreachable-code-diverging-expressions.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_must_use)] #![allow(dead_code)] From d6befd729bac12c08d330793f8a2cd353bb3fcb8 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 1 Apr 2026 14:30:13 +0100 Subject: [PATCH 23/79] test: audit resolve tests --- tests/ui/resolve/blind-item-mixed-use-item.rs | 2 +- tests/ui/resolve/type-param-local-var-shadowing.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/resolve/blind-item-mixed-use-item.rs b/tests/ui/resolve/blind-item-mixed-use-item.rs index 7796233c41991..bb1cb41141a87 100644 --- a/tests/ui/resolve/blind-item-mixed-use-item.rs +++ b/tests/ui/resolve/blind-item-mixed-use-item.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass mod m { pub fn f(_: T, _: ()) { } diff --git a/tests/ui/resolve/type-param-local-var-shadowing.rs b/tests/ui/resolve/type-param-local-var-shadowing.rs index e08379e2acff9..6a00f06d73577 100644 --- a/tests/ui/resolve/type-param-local-var-shadowing.rs +++ b/tests/ui/resolve/type-param-local-var-shadowing.rs @@ -2,7 +2,7 @@ //! //! Regression test for https://github.com/rust-lang/rust/issues/23880 -//@ run-pass +//@ check-pass #![allow(unused)] struct Foo { From c6afec780e68734d5c6619a03e5f576f710dd34c Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 17:15:43 +0100 Subject: [PATCH 24/79] test: audit array-slice-vec tests --- tests/ui/array-slice-vec/array_const_index-2.rs | 2 +- tests/ui/array-slice-vec/cast-in-array-size.rs | 2 +- tests/ui/array-slice-vec/copy-out-of-array-1.rs | 2 +- tests/ui/array-slice-vec/empty-mutable-vec.rs | 2 +- tests/ui/array-slice-vec/issue-15730.rs | 2 +- tests/ui/array-slice-vec/issue-18425.rs | 2 +- tests/ui/array-slice-vec/ivec-pass-by-value.rs | 2 +- tests/ui/array-slice-vec/mut-vstore-expr.rs | 2 +- tests/ui/array-slice-vec/vec-macro-with-brackets.rs | 2 +- tests/ui/array-slice-vec/vec-repeat-with-cast.rs | 2 +- tests/ui/array-slice-vec/vector-no-ann-2.rs | 2 +- 11 files changed, 11 insertions(+), 11 deletions(-) diff --git a/tests/ui/array-slice-vec/array_const_index-2.rs b/tests/ui/array-slice-vec/array_const_index-2.rs index 8dcfc294aae53..3a8f2e70e74f8 100644 --- 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 index 5276288f8199c..2dd8e38efb4a7 100644 --- 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 index 894ca2f930277..ae0ad7ae057e4 100644 --- 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 index 1785b1aa39e81..3e597de1aff0d 100644 --- 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 index 2a69417819d95..da4d3cc3af230 100644 --- 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 index e74a20de72662..f4dbd33b134f8 100644 --- 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 index 67657859408b0..04e5e80f3617e 100644 --- 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 ) { } 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 index 9553aed9a00ea..fde6f1fee39ee 100644 --- 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 index b62e294f9d1d6..e4d66946abe10 100644 --- 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 index 1f1fd4cd0d29c..c991846058eae 100644 --- 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 index 63828551af114..b03aea366f1b8 100644 --- 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() { From df47aedebdf525a95155709be4c6851bb57e581c Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 17:24:35 +0100 Subject: [PATCH 25/79] test: audit associated-types tests --- .../associated-types-binding-in-where-clause.rs | 2 +- tests/ui/associated-types/associated-types-eq-obj.rs | 2 +- tests/ui/associated-types/associated-types-method.rs | 2 +- .../ui/associated-types/associated-types-nested-projections.rs | 2 +- .../associated-types-normalize-unifield-struct.rs | 2 +- tests/ui/associated-types/associated-types-ref-from-struct.rs | 2 +- tests/ui/associated-types/associated-types-sugar-path.rs | 2 +- tests/ui/associated-types/issue-22828.rs | 2 +- tests/ui/associated-types/issue-23208.rs | 2 +- tests/ui/associated-types/issue-54467.rs | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) 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 index b82656945a256..dd06c2ded4c3e 100644 --- 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-eq-obj.rs b/tests/ui/associated-types/associated-types-eq-obj.rs index c1ca8bbd7393c..3a56441897401 100644 --- 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-method.rs b/tests/ui/associated-types/associated-types-method.rs index 63b2a925e9bbc..d28d2ba713886 100644 --- 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 index 659016b4644b7..1afc7aef2f2f7 100644 --- 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-unifield-struct.rs b/tests/ui/associated-types/associated-types-normalize-unifield-struct.rs index ab36240ed636d..3735a6da62cd2 100644 --- 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-ref-from-struct.rs b/tests/ui/associated-types/associated-types-ref-from-struct.rs index bdff76e86a3e2..60b629aefe038 100644 --- 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-sugar-path.rs b/tests/ui/associated-types/associated-types-sugar-path.rs index 7b57e4a0ea0f7..be8e7830a4526 100644 --- 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/issue-22828.rs b/tests/ui/associated-types/issue-22828.rs index 5624b9c693b54..25204f2ecdf1c 100644 --- 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 index fabcffb5cf060..beb571c33c0eb 100644 --- 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<::Item> { type Item; } diff --git a/tests/ui/associated-types/issue-54467.rs b/tests/ui/associated-types/issue-54467.rs index 87fb0caf1d5f1..541561a797199 100644 --- 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; From fbceb5673c252495bb03c136bcda1766c9a12b07 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 17:33:20 +0100 Subject: [PATCH 26/79] test: audit async-await tests --- tests/ui/async-await/issues/issue-54752-async-block.rs | 2 +- tests/ui/async-await/issues/issue-55809.rs | 2 +- tests/ui/async-await/issues/issue-59972.rs | 2 +- tests/ui/async-await/multiple-lifetimes/elided.rs | 2 +- tests/ui/async-await/multiple-lifetimes/fn-ptr.rs | 2 +- tests/ui/async-await/multiple-lifetimes/named.rs | 2 +- tests/ui/async-await/multiple-lifetimes/partial-relation.rs | 2 +- tests/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/tests/ui/async-await/issues/issue-54752-async-block.rs b/tests/ui/async-await/issues/issue-54752-async-block.rs index 164c1885da11c..6f37e122600bf 100644 --- 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 index 07661f4c263cf..e74374dec9680 100644 --- 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 index e64a856fab30b..46ed4945cffa3 100644 --- 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 index 954695d0aa8fc..a48a1a162e0e9 100644 --- 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 index 5ff06b1c3c557..5759b547186f1 100644 --- 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 index c933765c91037..7e050a912146a 100644 --- 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 index 8a82cc9e220e7..ebe66879f02ab 100644 --- 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 index 3c6b847caaf46..bb95faf287930 100644 --- 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. From 3b099ffac719e7d21ea0e27d2e884c1d23aa31f4 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 17:38:45 +0100 Subject: [PATCH 27/79] test: audit binding tests --- tests/ui/binding/expr-match-panic-all.rs | 2 +- tests/ui/binding/inconsistent-lifetime-mismatch.rs | 2 +- tests/ui/binding/match-bot-2.rs | 2 +- tests/ui/binding/match-larger-const.rs | 2 +- tests/ui/binding/match-naked-record-expr.rs | 2 +- tests/ui/binding/match-path.rs | 2 +- tests/ui/binding/match-pattern-simple.rs | 2 +- tests/ui/binding/match-phi.rs | 2 +- tests/ui/binding/nil-pattern.rs | 2 +- tests/ui/binding/optional_comma_in_match_arm.rs | 2 +- tests/ui/binding/pat-tuple-5.rs | 2 +- tests/ui/binding/simple-generic-match.rs | 2 +- tests/ui/binding/underscore-prefixed-function-argument.rs | 2 +- 13 files changed, 13 insertions(+), 13 deletions(-) diff --git a/tests/ui/binding/expr-match-panic-all.rs b/tests/ui/binding/expr-match-panic-all.rs index 928f4d012b452..e6530f6635a5c 100644 --- a/tests/ui/binding/expr-match-panic-all.rs +++ b/tests/ui/binding/expr-match-panic-all.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass diff --git a/tests/ui/binding/inconsistent-lifetime-mismatch.rs b/tests/ui/binding/inconsistent-lifetime-mismatch.rs index 539f8f58a1d5e..efc5effc9dcc9 100644 --- a/tests/ui/binding/inconsistent-lifetime-mismatch.rs +++ b/tests/ui/binding/inconsistent-lifetime-mismatch.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] fn foo(_: &[&str]) {} diff --git a/tests/ui/binding/match-bot-2.rs b/tests/ui/binding/match-bot-2.rs index 014247417a6d9..a5a3db89aea8b 100644 --- a/tests/ui/binding/match-bot-2.rs +++ b/tests/ui/binding/match-bot-2.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![allow(unreachable_code)] // n.b. This was only ever failing with optimization disabled. diff --git a/tests/ui/binding/match-larger-const.rs b/tests/ui/binding/match-larger-const.rs index 4d9e587fdce40..5fc64b39dc242 100644 --- a/tests/ui/binding/match-larger-const.rs +++ b/tests/ui/binding/match-larger-const.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #[derive(Eq, PartialEq)] pub struct Data([u8; 4]); diff --git a/tests/ui/binding/match-naked-record-expr.rs b/tests/ui/binding/match-naked-record-expr.rs index 57697a73ca4b2..211865e5bbb78 100644 --- a/tests/ui/binding/match-naked-record-expr.rs +++ b/tests/ui/binding/match-naked-record-expr.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass struct X { x: isize } diff --git a/tests/ui/binding/match-path.rs b/tests/ui/binding/match-path.rs index 1305ac7668ea6..a1f5a52766bdf 100644 --- a/tests/ui/binding/match-path.rs +++ b/tests/ui/binding/match-path.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(non_camel_case_types)] diff --git a/tests/ui/binding/match-pattern-simple.rs b/tests/ui/binding/match-pattern-simple.rs index da22acd7f37f3..a7e907a5431be 100644 --- a/tests/ui/binding/match-pattern-simple.rs +++ b/tests/ui/binding/match-pattern-simple.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] diff --git a/tests/ui/binding/match-phi.rs b/tests/ui/binding/match-phi.rs index 128d4d618a096..6b9176308cb39 100644 --- a/tests/ui/binding/match-phi.rs +++ b/tests/ui/binding/match-phi.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![allow(dead_code)] #![allow(unused_assignments)] #![allow(non_camel_case_types)] diff --git a/tests/ui/binding/nil-pattern.rs b/tests/ui/binding/nil-pattern.rs index 68dbfe3b45316..d55049072bde2 100644 --- a/tests/ui/binding/nil-pattern.rs +++ b/tests/ui/binding/nil-pattern.rs @@ -1,3 +1,3 @@ -//@ run-pass +//@ check-pass pub fn main() { let x = (); match x { () => { } } } diff --git a/tests/ui/binding/optional_comma_in_match_arm.rs b/tests/ui/binding/optional_comma_in_match_arm.rs index 16fc72bbac0c0..d86ecaf21d412 100644 --- a/tests/ui/binding/optional_comma_in_match_arm.rs +++ b/tests/ui/binding/optional_comma_in_match_arm.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![allow(unused_unsafe)] #![allow(while_true)] diff --git a/tests/ui/binding/pat-tuple-5.rs b/tests/ui/binding/pat-tuple-5.rs index 928fc743417f2..6d1c322421435 100644 --- a/tests/ui/binding/pat-tuple-5.rs +++ b/tests/ui/binding/pat-tuple-5.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass fn tuple() { struct S; struct Z; diff --git a/tests/ui/binding/simple-generic-match.rs b/tests/ui/binding/simple-generic-match.rs index 001b469d35e3f..cb97cace976ea 100644 --- a/tests/ui/binding/simple-generic-match.rs +++ b/tests/ui/binding/simple-generic-match.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(non_camel_case_types)] diff --git a/tests/ui/binding/underscore-prefixed-function-argument.rs b/tests/ui/binding/underscore-prefixed-function-argument.rs index e5b2ec1b5f005..a16c133ac6d81 100644 --- a/tests/ui/binding/underscore-prefixed-function-argument.rs +++ b/tests/ui/binding/underscore-prefixed-function-argument.rs @@ -1,6 +1,6 @@ //! Test that argument names starting with `_` are usable. -//@ run-pass +//@ check-pass fn good(_a: &isize) {} From 484843afb0ed351ca488bdb372ab2ed2fa1971f3 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 18:35:19 +0100 Subject: [PATCH 28/79] test: audit const-generics tests --- tests/ui/const-generics/array-wrapper-struct-ctor.rs | 2 +- .../ui/const-generics/associated-const-bindings/assoc-const.rs | 2 +- tests/ui/const-generics/broken-mir-1.rs | 2 +- tests/ui/const-generics/broken-mir-2.rs | 2 +- tests/ui/const-generics/core-types.rs | 2 +- tests/ui/const-generics/defaults/complex-unord-param.rs | 2 +- tests/ui/const-generics/defaults/default-annotation.rs | 2 +- tests/ui/const-generics/defaults/repr-c-issue-82792.rs | 2 +- tests/ui/const-generics/defaults/rp_impl_trait.rs | 2 +- tests/ui/const-generics/defaults/simple-defaults.rs | 2 +- tests/ui/const-generics/generic_arg_infer/dont-use-defaults.rs | 2 +- .../ui/const-generics/generic_const_exprs/associated-consts.rs | 2 +- tests/ui/const-generics/generic_const_exprs/division.rs | 2 +- .../dont-eagerly-error-in-is-const-evaluatable.rs | 2 +- tests/ui/const-generics/generic_const_exprs/from-sig.rs | 2 +- tests/ui/const-generics/generic_const_exprs/issue-73899.rs | 2 +- tests/ui/const-generics/generic_const_exprs/issue-99647.rs | 2 +- tests/ui/const-generics/generic_const_exprs/less_than.rs | 2 +- tests/ui/const-generics/generic_const_exprs/unop.rs | 2 +- tests/ui/const-generics/inhabited-assoc-ty-ice-1.rs | 2 +- tests/ui/const-generics/inhabited-assoc-ty-ice-2.rs | 2 +- tests/ui/const-generics/issues/issue-105037.rs | 2 +- tests/ui/const-generics/issues/issue-61432.rs | 2 +- .../issues/issue-62187-encountered-polymorphic-const.rs | 2 +- tests/ui/const-generics/issues/issue-69654-run-pass.rs | 2 +- tests/ui/const-generics/issues/issue-70125-2.rs | 2 +- tests/ui/const-generics/mgca/array-expr-simple.rs | 2 +- tests/ui/const-generics/mgca/array-expr-with-assoc-const.rs | 2 +- tests/ui/const-generics/mgca/array-expr-with-macro.rs | 2 +- tests/ui/const-generics/mgca/array-expr-with-struct.rs | 2 +- tests/ui/const-generics/mgca/array-expr-with-tuple.rs | 2 +- tests/ui/const-generics/mgca/assoc-const-projection-in-bound.rs | 2 +- tests/ui/const-generics/min_const_generics/inferred_const.rs | 2 +- .../min_const_generics/type_and_const_defaults.rs | 2 +- tests/ui/const-generics/transmute.rs | 2 +- tests/ui/const-generics/transparent-maybeunit-array-wrapper.rs | 2 +- tests/ui/const-generics/type-after-const-ok.rs | 2 +- 37 files changed, 37 insertions(+), 37 deletions(-) diff --git a/tests/ui/const-generics/array-wrapper-struct-ctor.rs b/tests/ui/const-generics/array-wrapper-struct-ctor.rs index b94773562e814..8785de28b52a6 100644 --- a/tests/ui/const-generics/array-wrapper-struct-ctor.rs +++ b/tests/ui/const-generics/array-wrapper-struct-ctor.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] diff --git a/tests/ui/const-generics/associated-const-bindings/assoc-const.rs b/tests/ui/const-generics/associated-const-bindings/assoc-const.rs index 3f8353b6914d0..0bdc56367f0bd 100644 --- a/tests/ui/const-generics/associated-const-bindings/assoc-const.rs +++ b/tests/ui/const-generics/associated-const-bindings/assoc-const.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(min_generic_const_args)] #![allow(unused, incomplete_features)] diff --git a/tests/ui/const-generics/broken-mir-1.rs b/tests/ui/const-generics/broken-mir-1.rs index 67b18994785f9..3b65735e3dda1 100644 --- a/tests/ui/const-generics/broken-mir-1.rs +++ b/tests/ui/const-generics/broken-mir-1.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass pub trait Foo { fn foo(&self); } diff --git a/tests/ui/const-generics/broken-mir-2.rs b/tests/ui/const-generics/broken-mir-2.rs index 46a714f1883bf..f7c23f73ff20b 100644 --- a/tests/ui/const-generics/broken-mir-2.rs +++ b/tests/ui/const-generics/broken-mir-2.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] diff --git a/tests/ui/const-generics/core-types.rs b/tests/ui/const-generics/core-types.rs index 03b3bc172b039..aa3d657950e10 100644 --- a/tests/ui/const-generics/core-types.rs +++ b/tests/ui/const-generics/core-types.rs @@ -1,5 +1,5 @@ // Check that all types allowed with `min_const_generics` work. -//@ run-pass +//@ check-pass //@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] diff --git a/tests/ui/const-generics/defaults/complex-unord-param.rs b/tests/ui/const-generics/defaults/complex-unord-param.rs index 5783fc415571a..cb6b7548b53c5 100644 --- a/tests/ui/const-generics/defaults/complex-unord-param.rs +++ b/tests/ui/const-generics/defaults/complex-unord-param.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass // Checks a complicated usage of unordered params #![allow(dead_code)] diff --git a/tests/ui/const-generics/defaults/default-annotation.rs b/tests/ui/const-generics/defaults/default-annotation.rs index fbb30d43a67fd..bed49f231c121 100644 --- a/tests/ui/const-generics/defaults/default-annotation.rs +++ b/tests/ui/const-generics/defaults/default-annotation.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(staged_api)] #![allow(incomplete_features)] // FIXME(const_generics_defaults): It seems like we aren't testing the right thing here, diff --git a/tests/ui/const-generics/defaults/repr-c-issue-82792.rs b/tests/ui/const-generics/defaults/repr-c-issue-82792.rs index c23187598bceb..e97c538feca1b 100644 --- a/tests/ui/const-generics/defaults/repr-c-issue-82792.rs +++ b/tests/ui/const-generics/defaults/repr-c-issue-82792.rs @@ -1,6 +1,6 @@ // Regression test for #82792. -//@ run-pass +//@ check-pass #[repr(C)] pub struct Loaf { diff --git a/tests/ui/const-generics/defaults/rp_impl_trait.rs b/tests/ui/const-generics/defaults/rp_impl_trait.rs index 406efbd0f8819..0389f720416a8 100644 --- a/tests/ui/const-generics/defaults/rp_impl_trait.rs +++ b/tests/ui/const-generics/defaults/rp_impl_trait.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass struct Uwu; trait Trait {} diff --git a/tests/ui/const-generics/defaults/simple-defaults.rs b/tests/ui/const-generics/defaults/simple-defaults.rs index ecc8cad2684cd..0642af409e1f7 100644 --- a/tests/ui/const-generics/defaults/simple-defaults.rs +++ b/tests/ui/const-generics/defaults/simple-defaults.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Checks that type param defaults are allowed after const params. #![allow(dead_code)] diff --git a/tests/ui/const-generics/generic_arg_infer/dont-use-defaults.rs b/tests/ui/const-generics/generic_arg_infer/dont-use-defaults.rs index d4a1468c04965..504bd5ee7727c 100644 --- a/tests/ui/const-generics/generic_arg_infer/dont-use-defaults.rs +++ b/tests/ui/const-generics/generic_arg_infer/dont-use-defaults.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass struct Foo; impl Foo { diff --git a/tests/ui/const-generics/generic_const_exprs/associated-consts.rs b/tests/ui/const-generics/generic_const_exprs/associated-consts.rs index 5d2198f50ad92..b7c5357cd1cd3 100644 --- a/tests/ui/const-generics/generic_const_exprs/associated-consts.rs +++ b/tests/ui/const-generics/generic_const_exprs/associated-consts.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/division.rs b/tests/ui/const-generics/generic_const_exprs/division.rs index b6b5750a48f46..646046d211084 100644 --- a/tests/ui/const-generics/generic_const_exprs/division.rs +++ b/tests/ui/const-generics/generic_const_exprs/division.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/dont-eagerly-error-in-is-const-evaluatable.rs b/tests/ui/const-generics/generic_const_exprs/dont-eagerly-error-in-is-const-evaluatable.rs index 5290d24fc2d8e..4205dec171691 100644 --- a/tests/ui/const-generics/generic_const_exprs/dont-eagerly-error-in-is-const-evaluatable.rs +++ b/tests/ui/const-generics/generic_const_exprs/dont-eagerly-error-in-is-const-evaluatable.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/from-sig.rs b/tests/ui/const-generics/generic_const_exprs/from-sig.rs index 74942041f680a..c3c76ece6ed3e 100644 --- a/tests/ui/const-generics/generic_const_exprs/from-sig.rs +++ b/tests/ui/const-generics/generic_const_exprs/from-sig.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-73899.rs b/tests/ui/const-generics/generic_const_exprs/issue-73899.rs index 61550c03ec6ad..4392e992d5c53 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-73899.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-73899.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-99647.rs b/tests/ui/const-generics/generic_const_exprs/issue-99647.rs index a6b5eb15d6c1b..335b9cf46dace 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-99647.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-99647.rs @@ -1,5 +1,5 @@ //@ edition:2018 -//@ run-pass +//@ check-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/less_than.rs b/tests/ui/const-generics/generic_const_exprs/less_than.rs index 07dfe7d9687dc..f3e6e8852bc97 100644 --- a/tests/ui/const-generics/generic_const_exprs/less_than.rs +++ b/tests/ui/const-generics/generic_const_exprs/less_than.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/unop.rs b/tests/ui/const-generics/generic_const_exprs/unop.rs index c8eb3deba6075..4455d6e2f19e9 100644 --- a/tests/ui/const-generics/generic_const_exprs/unop.rs +++ b/tests/ui/const-generics/generic_const_exprs/unop.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/inhabited-assoc-ty-ice-1.rs b/tests/ui/const-generics/inhabited-assoc-ty-ice-1.rs index a5f515f5ea228..bbfccbd84ed72 100644 --- a/tests/ui/const-generics/inhabited-assoc-ty-ice-1.rs +++ b/tests/ui/const-generics/inhabited-assoc-ty-ice-1.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/inhabited-assoc-ty-ice-2.rs b/tests/ui/const-generics/inhabited-assoc-ty-ice-2.rs index 3613deb9cd736..fac039e03595f 100644 --- a/tests/ui/const-generics/inhabited-assoc-ty-ice-2.rs +++ b/tests/ui/const-generics/inhabited-assoc-ty-ice-2.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-105037.rs b/tests/ui/const-generics/issues/issue-105037.rs index 65c8cfe8103d0..9fa0ff918ff3c 100644 --- a/tests/ui/const-generics/issues/issue-105037.rs +++ b/tests/ui/const-generics/issues/issue-105037.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] #![allow(dead_code)] diff --git a/tests/ui/const-generics/issues/issue-61432.rs b/tests/ui/const-generics/issues/issue-61432.rs index 329bf24922e6b..5f11927cc833a 100644 --- a/tests/ui/const-generics/issues/issue-61432.rs +++ b/tests/ui/const-generics/issues/issue-61432.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass fn promote() { let _ = &N; diff --git a/tests/ui/const-generics/issues/issue-62187-encountered-polymorphic-const.rs b/tests/ui/const-generics/issues/issue-62187-encountered-polymorphic-const.rs index 778e4a31d15f6..500d2d42d67ed 100644 --- a/tests/ui/const-generics/issues/issue-62187-encountered-polymorphic-const.rs +++ b/tests/ui/const-generics/issues/issue-62187-encountered-polymorphic-const.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass pub trait BitLen: Sized { const BIT_LEN: usize; } diff --git a/tests/ui/const-generics/issues/issue-69654-run-pass.rs b/tests/ui/const-generics/issues/issue-69654-run-pass.rs index bd8f1fcddb82e..cdf8dd70c3d55 100644 --- a/tests/ui/const-generics/issues/issue-69654-run-pass.rs +++ b/tests/ui/const-generics/issues/issue-69654-run-pass.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass trait Bar {} //~ WARN trait `Bar` is never used impl Bar for [u8; 7] {} diff --git a/tests/ui/const-generics/issues/issue-70125-2.rs b/tests/ui/const-generics/issues/issue-70125-2.rs index ec53c538ea23d..89642b26414b3 100644 --- a/tests/ui/const-generics/issues/issue-70125-2.rs +++ b/tests/ui/const-generics/issues/issue-70125-2.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass fn main() { <()>::foo(); } diff --git a/tests/ui/const-generics/mgca/array-expr-simple.rs b/tests/ui/const-generics/mgca/array-expr-simple.rs index 44feeccb4f9f2..c8f82db2098a3 100644 --- a/tests/ui/const-generics/mgca/array-expr-simple.rs +++ b/tests/ui/const-generics/mgca/array-expr-simple.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![expect(incomplete_features)] #![feature(min_generic_const_args, adt_const_params)] #![allow(dead_code)] diff --git a/tests/ui/const-generics/mgca/array-expr-with-assoc-const.rs b/tests/ui/const-generics/mgca/array-expr-with-assoc-const.rs index 7401181962bb8..825f101c18f18 100644 --- a/tests/ui/const-generics/mgca/array-expr-with-assoc-const.rs +++ b/tests/ui/const-generics/mgca/array-expr-with-assoc-const.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![expect(incomplete_features)] #![feature(min_generic_const_args, adt_const_params)] #![allow(dead_code)] diff --git a/tests/ui/const-generics/mgca/array-expr-with-macro.rs b/tests/ui/const-generics/mgca/array-expr-with-macro.rs index aef5acc1c8030..e42307cc29442 100644 --- a/tests/ui/const-generics/mgca/array-expr-with-macro.rs +++ b/tests/ui/const-generics/mgca/array-expr-with-macro.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![expect(incomplete_features)] #![feature(min_generic_const_args, adt_const_params)] #![allow(dead_code)] diff --git a/tests/ui/const-generics/mgca/array-expr-with-struct.rs b/tests/ui/const-generics/mgca/array-expr-with-struct.rs index 883af57e918e3..753b1c7b74f57 100644 --- a/tests/ui/const-generics/mgca/array-expr-with-struct.rs +++ b/tests/ui/const-generics/mgca/array-expr-with-struct.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(min_generic_const_args, adt_const_params)] #![expect(incomplete_features)] #![allow(dead_code)] diff --git a/tests/ui/const-generics/mgca/array-expr-with-tuple.rs b/tests/ui/const-generics/mgca/array-expr-with-tuple.rs index 004663dcefaba..d27356b140eef 100644 --- a/tests/ui/const-generics/mgca/array-expr-with-tuple.rs +++ b/tests/ui/const-generics/mgca/array-expr-with-tuple.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(min_generic_const_args, adt_const_params, unsized_const_params)] #![expect(incomplete_features)] #![allow(dead_code)] diff --git a/tests/ui/const-generics/mgca/assoc-const-projection-in-bound.rs b/tests/ui/const-generics/mgca/assoc-const-projection-in-bound.rs index 13b2e031b118b..588ad3d13be82 100644 --- a/tests/ui/const-generics/mgca/assoc-const-projection-in-bound.rs +++ b/tests/ui/const-generics/mgca/assoc-const-projection-in-bound.rs @@ -1,5 +1,5 @@ //! regression test for -//@ run-pass +//@ check-pass #![expect(incomplete_features)] #![feature(min_generic_const_args)] #![allow(dead_code)] diff --git a/tests/ui/const-generics/min_const_generics/inferred_const.rs b/tests/ui/const-generics/min_const_generics/inferred_const.rs index 4a4fb417ab1dd..d8cdbe115d270 100644 --- a/tests/ui/const-generics/min_const_generics/inferred_const.rs +++ b/tests/ui/const-generics/min_const_generics/inferred_const.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass fn foo(_data: [u32; N]) -> [u32; K] { [0; K] diff --git a/tests/ui/const-generics/min_const_generics/type_and_const_defaults.rs b/tests/ui/const-generics/min_const_generics/type_and_const_defaults.rs index 9f8f63eb905d5..1c65b2b06d120 100644 --- a/tests/ui/const-generics/min_const_generics/type_and_const_defaults.rs +++ b/tests/ui/const-generics/min_const_generics/type_and_const_defaults.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] struct Both { diff --git a/tests/ui/const-generics/transmute.rs b/tests/ui/const-generics/transmute.rs index 6108139f3ce5c..b4f0f80f75f17 100644 --- a/tests/ui/const-generics/transmute.rs +++ b/tests/ui/const-generics/transmute.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/transparent-maybeunit-array-wrapper.rs b/tests/ui/const-generics/transparent-maybeunit-array-wrapper.rs index 419d605d0c875..4fae15723ecb3 100644 --- a/tests/ui/const-generics/transparent-maybeunit-array-wrapper.rs +++ b/tests/ui/const-generics/transparent-maybeunit-array-wrapper.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass //@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] diff --git a/tests/ui/const-generics/type-after-const-ok.rs b/tests/ui/const-generics/type-after-const-ok.rs index 0a336e9a14a51..c0fbeba818a99 100644 --- a/tests/ui/const-generics/type-after-const-ok.rs +++ b/tests/ui/const-generics/type-after-const-ok.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Verifies that having generic parameters after constants is permitted #[allow(dead_code)] struct A(T); From 49bd80d6e22ce9736d7a0c782edaa96492de0b7c Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 18:35:43 +0100 Subject: [PATCH 29/79] test: audit cast tests --- tests/ui/cast/coercion-as-explicit-cast.rs | 2 +- tests/ui/cast/generic-trait-object-call.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/cast/coercion-as-explicit-cast.rs b/tests/ui/cast/coercion-as-explicit-cast.rs index b99f5d93478cc..108638e0e149f 100644 --- a/tests/ui/cast/coercion-as-explicit-cast.rs +++ b/tests/ui/cast/coercion-as-explicit-cast.rs @@ -1,7 +1,7 @@ //! This test checks that various forms of "trivial" casts and coercions //! can be explicitly performed using the `as` keyword without compilation errors. -//@ run-pass +//@ check-pass #![allow(trivial_casts, trivial_numeric_casts)] diff --git a/tests/ui/cast/generic-trait-object-call.rs b/tests/ui/cast/generic-trait-object-call.rs index a6703dfd8aa6c..d7819ac657c3b 100644 --- a/tests/ui/cast/generic-trait-object-call.rs +++ b/tests/ui/cast/generic-trait-object-call.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/2288 -//@ run-pass +//@ build-pass #![allow(non_camel_case_types)] trait clam { From 199f807f047bf1880cfdad661c673bac57bdc75d Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 18:36:05 +0100 Subject: [PATCH 30/79] test: audit box tests --- tests/ui/box/empty-alloc-deref-rvalue.rs | 2 +- tests/ui/box/unit/unique-object-move.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/box/empty-alloc-deref-rvalue.rs b/tests/ui/box/empty-alloc-deref-rvalue.rs index 507a753467ac9..1a6c77a9b5763 100644 --- a/tests/ui/box/empty-alloc-deref-rvalue.rs +++ b/tests/ui/box/empty-alloc-deref-rvalue.rs @@ -3,7 +3,7 @@ //! Originally a regression test of github.com/rust-lang/rust/issues/13360 //! but repurposed for a smoke test. -//@ run-pass +//@ build-pass pub fn main() { let _: () = *Box::new(()); diff --git a/tests/ui/box/unit/unique-object-move.rs b/tests/ui/box/unit/unique-object-move.rs index 6ed2b1dc401ce..a12b501932674 100644 --- a/tests/ui/box/unit/unique-object-move.rs +++ b/tests/ui/box/unit/unique-object-move.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![allow(dead_code)] // Issue #5192 From 06a625a7659cceb20169daaf1456b2779c70f492 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 18:41:43 +0100 Subject: [PATCH 31/79] test: audit builtin-superkinds test --- .../ui/builtin-superkinds/builtin-superkinds-phantom-typaram.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/builtin-superkinds/builtin-superkinds-phantom-typaram.rs b/tests/ui/builtin-superkinds/builtin-superkinds-phantom-typaram.rs index ea5d3bdcfdbe6..849076aec9c54 100644 --- a/tests/ui/builtin-superkinds/builtin-superkinds-phantom-typaram.rs +++ b/tests/ui/builtin-superkinds/builtin-superkinds-phantom-typaram.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] // Tests that even when a type parameter doesn't implement a required From 6e8bacbe5b2e9f69db53eb9fab691485aadc4386 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 18:51:50 +0100 Subject: [PATCH 32/79] test: audit imports tests --- tests/ui/imports/enum-variant-import-path-15774.rs | 2 +- tests/ui/imports/export-multi.rs | 2 +- tests/ui/imports/global-path-resolution-drop.rs | 2 +- tests/ui/imports/import-from.rs | 2 +- tests/ui/imports/import-glob-1.rs | 2 +- tests/ui/imports/import-in-block.rs | 2 +- tests/ui/imports/import-prefix-macro.rs | 2 +- tests/ui/imports/import-trailing-comma.rs | 2 +- tests/ui/imports/imports.rs | 2 +- tests/ui/imports/issue-4865-1.rs | 2 +- tests/ui/imports/issue-4865-3.rs | 2 +- tests/ui/imports/reexport-star.rs | 2 +- tests/ui/imports/use-declaration-no-path-segment-prefix.rs | 2 +- tests/ui/imports/use-mod.rs | 2 +- 14 files changed, 14 insertions(+), 14 deletions(-) diff --git a/tests/ui/imports/enum-variant-import-path-15774.rs b/tests/ui/imports/enum-variant-import-path-15774.rs index 583fe4da17969..50a325e4c6d58 100644 --- a/tests/ui/imports/enum-variant-import-path-15774.rs +++ b/tests/ui/imports/enum-variant-import-path-15774.rs @@ -1,7 +1,7 @@ //! Regression test for https://github.com/rust-lang/rust/issues/15774 //@ edition: 2015 -//@ run-pass +//@ check-pass #![deny(warnings)] #![allow(unused_imports)] diff --git a/tests/ui/imports/export-multi.rs b/tests/ui/imports/export-multi.rs index 4f7f7d3a6c035..36733ce17a875 100644 --- a/tests/ui/imports/export-multi.rs +++ b/tests/ui/imports/export-multi.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass use m::f; use m::g; diff --git a/tests/ui/imports/global-path-resolution-drop.rs b/tests/ui/imports/global-path-resolution-drop.rs index 29a6afa10c96f..ab9b6a630a04f 100644 --- a/tests/ui/imports/global-path-resolution-drop.rs +++ b/tests/ui/imports/global-path-resolution-drop.rs @@ -1,6 +1,6 @@ //! Checks global path resolution of `mem::drop` using a leading `::`. -//@ run-pass +//@ check-pass #![allow(dropping_copy_types)] diff --git a/tests/ui/imports/import-from.rs b/tests/ui/imports/import-from.rs index 128002e0e2abc..e14c4b90ca492 100644 --- a/tests/ui/imports/import-from.rs +++ b/tests/ui/imports/import-from.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass use spam::{ham, eggs}; diff --git a/tests/ui/imports/import-glob-1.rs b/tests/ui/imports/import-glob-1.rs index 8beec4ce469d1..2f7f2bf429eac 100644 --- a/tests/ui/imports/import-glob-1.rs +++ b/tests/ui/imports/import-glob-1.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_imports)] // This should resolve fine. Prior to fix, the last import diff --git a/tests/ui/imports/import-in-block.rs b/tests/ui/imports/import-in-block.rs index 2588ea7702363..284b83531f0a1 100644 --- a/tests/ui/imports/import-in-block.rs +++ b/tests/ui/imports/import-in-block.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass pub fn main() { use std::mem::replace; diff --git a/tests/ui/imports/import-prefix-macro.rs b/tests/ui/imports/import-prefix-macro.rs index e80f8fa9d04eb..39f995a658626 100644 --- a/tests/ui/imports/import-prefix-macro.rs +++ b/tests/ui/imports/import-prefix-macro.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_variables)] mod a { pub mod b { diff --git a/tests/ui/imports/import-trailing-comma.rs b/tests/ui/imports/import-trailing-comma.rs index 4147357a22b09..5fa9919b19fdf 100644 --- a/tests/ui/imports/import-trailing-comma.rs +++ b/tests/ui/imports/import-trailing-comma.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass use foo::bar::{baz, quux,}; diff --git a/tests/ui/imports/imports.rs b/tests/ui/imports/imports.rs index b5c25eb044724..b16bd4fd850c8 100644 --- a/tests/ui/imports/imports.rs +++ b/tests/ui/imports/imports.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused)] // Like other items, private imports can be imported and used non-lexically in paths. diff --git a/tests/ui/imports/issue-4865-1.rs b/tests/ui/imports/issue-4865-1.rs index 7c34d105550ac..3633e00464b1b 100644 --- a/tests/ui/imports/issue-4865-1.rs +++ b/tests/ui/imports/issue-4865-1.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_imports)] // This should resolve fine. // Prior to fix, the crossed imports between a and b diff --git a/tests/ui/imports/issue-4865-3.rs b/tests/ui/imports/issue-4865-3.rs index d9d17f4dd4756..25c501ef8ed23 100644 --- a/tests/ui/imports/issue-4865-3.rs +++ b/tests/ui/imports/issue-4865-3.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_imports)] // This should resolve fine even with the circular imports as // they are not `pub`. diff --git a/tests/ui/imports/reexport-star.rs b/tests/ui/imports/reexport-star.rs index 9bf4a6ce0c460..8e33bf99029a1 100644 --- a/tests/ui/imports/reexport-star.rs +++ b/tests/ui/imports/reexport-star.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass mod a { pub fn f() {} diff --git a/tests/ui/imports/use-declaration-no-path-segment-prefix.rs b/tests/ui/imports/use-declaration-no-path-segment-prefix.rs index f7fbc084ebfe4..43399980396e7 100644 --- a/tests/ui/imports/use-declaration-no-path-segment-prefix.rs +++ b/tests/ui/imports/use-declaration-no-path-segment-prefix.rs @@ -1,7 +1,7 @@ //! Regression test for https://github.com/rust-lang/rust/issues/10806 //@ edition: 2015 -//@ run-pass +//@ check-pass #![allow(unused_imports)] diff --git a/tests/ui/imports/use-mod.rs b/tests/ui/imports/use-mod.rs index cabea16e725d7..e5e118c34158e 100644 --- a/tests/ui/imports/use-mod.rs +++ b/tests/ui/imports/use-mod.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_imports)] From 151632304e46b63d6e0154a9b5aea5009bf4ce27 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 18:52:53 +0100 Subject: [PATCH 33/79] test: audit hygiene test --- tests/ui/hygiene/issue-15221.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/hygiene/issue-15221.rs b/tests/ui/hygiene/issue-15221.rs index 7703cb2de4e81..5f9d7d19a1bc4 100644 --- a/tests/ui/hygiene/issue-15221.rs +++ b/tests/ui/hygiene/issue-15221.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(path_statements)] macro_rules! inner { From 5096b1ed6d3a12a8bc0e3216436eaddb15f66484 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 18:55:08 +0100 Subject: [PATCH 34/79] test: audit expr tests --- tests/ui/expr/early-return-in-binop.rs | 2 +- tests/ui/expr/if/if-ret.rs | 2 +- tests/ui/expr/scope.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/ui/expr/early-return-in-binop.rs b/tests/ui/expr/early-return-in-binop.rs index 389d25210f77a..0b2400d0fcdcb 100644 --- a/tests/ui/expr/early-return-in-binop.rs +++ b/tests/ui/expr/early-return-in-binop.rs @@ -1,6 +1,6 @@ //! Test early return within binary operation expressions -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unreachable_code)] diff --git a/tests/ui/expr/if/if-ret.rs b/tests/ui/expr/if/if-ret.rs index 2698c5bbf6eaa..5fb12ed93cdbf 100644 --- a/tests/ui/expr/if/if-ret.rs +++ b/tests/ui/expr/if/if-ret.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_parens)] diff --git a/tests/ui/expr/scope.rs b/tests/ui/expr/scope.rs index b059e43de9ee2..dca38e2c5aa0e 100644 --- a/tests/ui/expr/scope.rs +++ b/tests/ui/expr/scope.rs @@ -1,5 +1,5 @@ //@ edition:2015 -//@ run-pass +//@ check-pass // Regression test for issue #762 From c1f8e970b771ac0b77d6c354f19451165c3c5a81 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 18:55:38 +0100 Subject: [PATCH 35/79] test: audit enum test --- tests/ui/enum/enum-size-variance.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/enum/enum-size-variance.rs b/tests/ui/enum/enum-size-variance.rs index 28b7fa9f7469f..5442f5ccb0421 100644 --- a/tests/ui/enum/enum-size-variance.rs +++ b/tests/ui/enum/enum-size-variance.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![warn(variant_size_differences)] #![allow(dead_code)] From 2253fef6babaac12d47901e2ad5585df257b1623 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Thu, 2 Apr 2026 18:58:36 +0100 Subject: [PATCH 36/79] test: audit dst tests --- tests/ui/dst/dst-coercions.rs | 2 +- tests/ui/dst/dst-irrefutable-bind.rs | 2 +- tests/ui/dst/unsized-str-mutability.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/ui/dst/dst-coercions.rs b/tests/ui/dst/dst-coercions.rs index 4813dda439b53..c12791e76a055 100644 --- a/tests/ui/dst/dst-coercions.rs +++ b/tests/ui/dst/dst-coercions.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_variables)] // Test coercions involving DST and/or raw pointers diff --git a/tests/ui/dst/dst-irrefutable-bind.rs b/tests/ui/dst/dst-irrefutable-bind.rs index f4576229864b8..a134ae3ce5699 100644 --- a/tests/ui/dst/dst-irrefutable-bind.rs +++ b/tests/ui/dst/dst-irrefutable-bind.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass struct Test(T); diff --git a/tests/ui/dst/unsized-str-mutability.rs b/tests/ui/dst/unsized-str-mutability.rs index d84fa001fd679..94362988cdb22 100644 --- a/tests/ui/dst/unsized-str-mutability.rs +++ b/tests/ui/dst/unsized-str-mutability.rs @@ -1,6 +1,6 @@ //! regression test for //! Test that HIR ty lowering doesn't forget about mutability of `&mut str`. -//@ run-pass +//@ check-pass fn main() { fn foo(_: &mut T) {} From d87225f06c5a37093bb0ab054d65238d5fd54a03 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:23:54 +0100 Subject: [PATCH 37/79] test: audit regions tests --- tests/ui/regions/issue-6157.rs | 2 +- tests/ui/regions/regions-mock-codegen.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/regions/issue-6157.rs b/tests/ui/regions/issue-6157.rs index 8d3002e52c858..66a40b363212b 100644 --- a/tests/ui/regions/issue-6157.rs +++ b/tests/ui/regions/issue-6157.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass pub trait OpInt { fn call(&mut self, _: isize, _: isize) -> isize; } diff --git a/tests/ui/regions/regions-mock-codegen.rs b/tests/ui/regions/regions-mock-codegen.rs index 99c863640669e..2749b03f65d2d 100644 --- a/tests/ui/regions/regions-mock-codegen.rs +++ b/tests/ui/regions/regions-mock-codegen.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![allow(dead_code)] #![allow(non_camel_case_types)] #![feature(allocator_api)] From 450bcae021577ade8e2889d4fd73d1741c8f5af0 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:24:04 +0100 Subject: [PATCH 38/79] test: audit reachable test --- tests/ui/reachable/boolean-negation-in-unreachable-code-7344.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/reachable/boolean-negation-in-unreachable-code-7344.rs b/tests/ui/reachable/boolean-negation-in-unreachable-code-7344.rs index 8fd091872c310..b7c58361c4285 100644 --- a/tests/ui/reachable/boolean-negation-in-unreachable-code-7344.rs +++ b/tests/ui/reachable/boolean-negation-in-unreachable-code-7344.rs @@ -1,5 +1,5 @@ // https://github.com/rust-lang/rust/issues/7344 -//@ run-pass +//@ check-pass #![allow(unused_must_use)] #![allow(unreachable_code)] From d0d47b5b4cf82f8df49661ca43f3bae2608c8468 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:24:18 +0100 Subject: [PATCH 39/79] test: audit explicit-tail-calls test --- tests/ui/explicit-tail-calls/indexer.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/explicit-tail-calls/indexer.rs b/tests/ui/explicit-tail-calls/indexer.rs index c26d9774ce780..b65a126813be5 100644 --- a/tests/ui/explicit-tail-calls/indexer.rs +++ b/tests/ui/explicit-tail-calls/indexer.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass //@ ignore-backends: gcc // Indexing taken from // https://github.com/phi-go/rfcs/blob/guaranteed-tco/text%2F0000-explicit-tail-calls.md#tail-call-elimination From f19b421195fb7eedbb77e00b8e9ad688edca1aeb Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:24:32 +0100 Subject: [PATCH 40/79] test: audit asm test --- tests/ui/asm/may_unwind.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/asm/may_unwind.rs b/tests/ui/asm/may_unwind.rs index 0fef317a2cfd1..2e4b1252c4b1b 100644 --- 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 From a5192dad8c57e672bb529464dd69c62590e64ce1 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:24:54 +0100 Subject: [PATCH 41/79] test: audit methods test --- .../methods/inherent-method-resolution-on-deref-type-53843.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/methods/inherent-method-resolution-on-deref-type-53843.rs b/tests/ui/methods/inherent-method-resolution-on-deref-type-53843.rs index 0b2ab9afc399e..0dc90302b87f1 100644 --- a/tests/ui/methods/inherent-method-resolution-on-deref-type-53843.rs +++ b/tests/ui/methods/inherent-method-resolution-on-deref-type-53843.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass use std::ops::Deref; From c56df809c805e64bada70c4ba0de9e6c6bf27340 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:25:04 +0100 Subject: [PATCH 42/79] test: audit box test --- tests/ui/box/alloc-unstable.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/box/alloc-unstable.rs b/tests/ui/box/alloc-unstable.rs index b8c8bc0c70af4..ad97b90528467 100644 --- a/tests/ui/box/alloc-unstable.rs +++ b/tests/ui/box/alloc-unstable.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(allocator_api)] fn main() { let _boxed: Box = Box::new(10); From cc994bbfbd04658b27dfce408270a9f8293df1a1 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:25:43 +0100 Subject: [PATCH 43/79] test: audit statics test --- tests/ui/statics/static-methods-in-traits2.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/statics/static-methods-in-traits2.rs b/tests/ui/statics/static-methods-in-traits2.rs index dbd5e77c1ba9f..f3e8a08521f9c 100644 --- a/tests/ui/statics/static-methods-in-traits2.rs +++ b/tests/ui/statics/static-methods-in-traits2.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass pub trait Number: NumConv { fn from(n: T) -> Self; From 0dd079ea141113d4e40419bd1f3af55f7a0050b3 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:27:20 +0100 Subject: [PATCH 44/79] test: audit privacy test --- tests/ui/privacy/private-method-rpass.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/privacy/private-method-rpass.rs b/tests/ui/privacy/private-method-rpass.rs index f62dd682d2bc4..ff18bc6112c48 100644 --- a/tests/ui/privacy/private-method-rpass.rs +++ b/tests/ui/privacy/private-method-rpass.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(non_camel_case_types)] From 67ba380386667ef63b0df85cf51e89bae0834f52 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:36:45 +0100 Subject: [PATCH 45/79] test: audit type-inference test --- tests/ui/type-inference/partial-type-hint-12909.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/type-inference/partial-type-hint-12909.rs b/tests/ui/type-inference/partial-type-hint-12909.rs index d7017f451e323..c6579742b3609 100644 --- a/tests/ui/type-inference/partial-type-hint-12909.rs +++ b/tests/ui/type-inference/partial-type-hint-12909.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/12909 -//@ run-pass +//@ check-pass #![allow(unused_variables)] use std::collections::HashMap; From 2bcc97bc5a44139ae703876fa97aba46ea04d4af Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:52:15 +0100 Subject: [PATCH 46/79] test: audit coroutine tests --- tests/ui/coroutine/issue-58888.rs | 2 +- tests/ui/coroutine/live-upvar-across-yield.rs | 2 +- tests/ui/coroutine/nested_coroutine.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/ui/coroutine/issue-58888.rs b/tests/ui/coroutine/issue-58888.rs index e4fada0cd432e..3c0d8fe617731 100644 --- a/tests/ui/coroutine/issue-58888.rs +++ b/tests/ui/coroutine/issue-58888.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass //@ compile-flags: -g #![feature(coroutines, coroutine_trait)] diff --git a/tests/ui/coroutine/live-upvar-across-yield.rs b/tests/ui/coroutine/live-upvar-across-yield.rs index d13d480dcdcce..84a29eba92610 100644 --- a/tests/ui/coroutine/live-upvar-across-yield.rs +++ b/tests/ui/coroutine/live-upvar-across-yield.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(coroutines, coroutine_trait, stmt_expr_attributes)] diff --git a/tests/ui/coroutine/nested_coroutine.rs b/tests/ui/coroutine/nested_coroutine.rs index 2c12ab2adad41..bb7a3ed05cc70 100644 --- a/tests/ui/coroutine/nested_coroutine.rs +++ b/tests/ui/coroutine/nested_coroutine.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(coroutines, coroutine_trait, stmt_expr_attributes)] From d700901ba8dddca90295c45d1893ba680ad1e889 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:55:13 +0100 Subject: [PATCH 47/79] test: audit resolve tests --- tests/ui/resolve/primitive-usage.rs | 2 +- tests/ui/resolve/reference-clone-nonclone-11820.rs | 2 +- tests/ui/resolve/resolve-pseudo-shadowing.rs | 2 +- tests/ui/resolve/struct-function-same-name-2445.rs | 2 +- tests/ui/resolve/struct-function-same-name-2550.rs | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/tests/ui/resolve/primitive-usage.rs b/tests/ui/resolve/primitive-usage.rs index b00d18a4e1e88..31c17a0b7d8f1 100644 --- a/tests/ui/resolve/primitive-usage.rs +++ b/tests/ui/resolve/primitive-usage.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![allow(unused)] #![feature(f128)] #![feature(f16)] diff --git a/tests/ui/resolve/reference-clone-nonclone-11820.rs b/tests/ui/resolve/reference-clone-nonclone-11820.rs index 74dad96da94e2..00f03b3c16816 100644 --- a/tests/ui/resolve/reference-clone-nonclone-11820.rs +++ b/tests/ui/resolve/reference-clone-nonclone-11820.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/11820 -//@ run-pass +//@ check-pass #![allow(noop_method_call)] diff --git a/tests/ui/resolve/resolve-pseudo-shadowing.rs b/tests/ui/resolve/resolve-pseudo-shadowing.rs index a5aad3c669cc2..7414c98808be0 100644 --- a/tests/ui/resolve/resolve-pseudo-shadowing.rs +++ b/tests/ui/resolve/resolve-pseudo-shadowing.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // check that type parameters can't "shadow" qualified paths. fn check(_c: Clone) { diff --git a/tests/ui/resolve/struct-function-same-name-2445.rs b/tests/ui/resolve/struct-function-same-name-2445.rs index 8a0490efa3aa7..2c452a3c3c22b 100644 --- a/tests/ui/resolve/struct-function-same-name-2445.rs +++ b/tests/ui/resolve/struct-function-same-name-2445.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/2445 -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(non_camel_case_types)] diff --git a/tests/ui/resolve/struct-function-same-name-2550.rs b/tests/ui/resolve/struct-function-same-name-2550.rs index c96f58374c6dc..1373d0e252078 100644 --- a/tests/ui/resolve/struct-function-same-name-2550.rs +++ b/tests/ui/resolve/struct-function-same-name-2550.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/2550 -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(non_snake_case)] From a596a2609fc3e925ee5e41ad1ba54577349df8e5 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:55:22 +0100 Subject: [PATCH 48/79] test: audit overloaded test --- .../overloaded/overloaded_deref_with_ref_pattern_issue15609.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/overloaded/overloaded_deref_with_ref_pattern_issue15609.rs b/tests/ui/overloaded/overloaded_deref_with_ref_pattern_issue15609.rs index 143a9ec04476b..7e63b84ba0fdf 100644 --- a/tests/ui/overloaded/overloaded_deref_with_ref_pattern_issue15609.rs +++ b/tests/ui/overloaded/overloaded_deref_with_ref_pattern_issue15609.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_variables)] // Test that we choose Deref or DerefMut appropriately based on mutability of ref bindings (#15609). From 67d26c0f94674ea689bf59d0a26be37734cd7b8c Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:55:28 +0100 Subject: [PATCH 49/79] test: audit trivial-bounds test --- tests/ui/trivial-bounds/trivial-bounds-inconsistent-sized.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/trivial-bounds/trivial-bounds-inconsistent-sized.rs b/tests/ui/trivial-bounds/trivial-bounds-inconsistent-sized.rs index bc7ec1f687216..9581072475d02 100644 --- a/tests/ui/trivial-bounds/trivial-bounds-inconsistent-sized.rs +++ b/tests/ui/trivial-bounds/trivial-bounds-inconsistent-sized.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Check tautalogically false `Sized` bounds #![feature(trivial_bounds)] #![allow(unused)] From 4dd5006d17fd06e0b8aefd16e5e8d27d63c1dac8 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 13:56:02 +0100 Subject: [PATCH 50/79] test: audit traits tests --- tests/ui/traits/cache-issue-18209.rs | 2 +- tests/ui/traits/copy-trait-implicit-copy.rs | 2 +- tests/ui/traits/core-marker-name-shadowing-issue-2284.rs | 2 +- tests/ui/traits/cycle-type-trait.rs | 2 +- tests/ui/traits/early-vtbl-resolution.rs | 2 +- tests/ui/traits/encoder-trait-bounds-regression.rs | 2 +- tests/ui/traits/generic-cow-inference-regression.rs | 2 +- tests/ui/traits/impl-trait-chain-14229.rs | 2 +- tests/ui/traits/infer-from-object-issue-26952.rs | 2 +- tests/ui/traits/issue-22019.rs | 2 +- tests/ui/traits/issue-23003.rs | 2 +- tests/ui/traits/issue-33096.rs | 2 +- tests/ui/traits/issue-38033.rs | 2 +- tests/ui/traits/issue-43132.rs | 2 +- tests/ui/traits/item-inside-macro.rs | 2 +- tests/ui/traits/monomorphized-callees-with-ty-params-3314.rs | 2 +- tests/ui/traits/pointee-deduction.rs | 2 +- tests/ui/traits/tryfrominterror-result-comparison.rs | 2 +- tests/ui/traits/where-clause-vs-impl.rs | 2 +- 19 files changed, 19 insertions(+), 19 deletions(-) diff --git a/tests/ui/traits/cache-issue-18209.rs b/tests/ui/traits/cache-issue-18209.rs index 6a027d6b3f3dd..d9a4ae4c63e0f 100644 --- a/tests/ui/traits/cache-issue-18209.rs +++ b/tests/ui/traits/cache-issue-18209.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Test that the cache results from the default method do not pollute // the cache for the later call in `load()`. // diff --git a/tests/ui/traits/copy-trait-implicit-copy.rs b/tests/ui/traits/copy-trait-implicit-copy.rs index e06385587b4b5..57b7e30a35f22 100644 --- a/tests/ui/traits/copy-trait-implicit-copy.rs +++ b/tests/ui/traits/copy-trait-implicit-copy.rs @@ -1,6 +1,6 @@ //! Tests that type parameters with the `Copy` are implicitly copyable. -//@ run-pass +//@ check-pass /* Any copyright is dedicated to the Public Domain. * http://creativecommons.org/publicdomain/zero/1.0/ */ diff --git a/tests/ui/traits/core-marker-name-shadowing-issue-2284.rs b/tests/ui/traits/core-marker-name-shadowing-issue-2284.rs index e5d083ac8c3fb..ce40bae444b20 100644 --- a/tests/ui/traits/core-marker-name-shadowing-issue-2284.rs +++ b/tests/ui/traits/core-marker-name-shadowing-issue-2284.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] //! Tests that user-defined trait is prioritized in compile time over diff --git a/tests/ui/traits/cycle-type-trait.rs b/tests/ui/traits/cycle-type-trait.rs index 3a6cd2eccc250..cdb7c48ca8e01 100644 --- a/tests/ui/traits/cycle-type-trait.rs +++ b/tests/ui/traits/cycle-type-trait.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] // Test a case where a supertrait references a type that references // the original trait. This poses no problem at the moment. diff --git a/tests/ui/traits/early-vtbl-resolution.rs b/tests/ui/traits/early-vtbl-resolution.rs index bf3cc04cdc227..1f1b54748dcec 100644 --- a/tests/ui/traits/early-vtbl-resolution.rs +++ b/tests/ui/traits/early-vtbl-resolution.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(non_camel_case_types)] #![allow(dead_code)] diff --git a/tests/ui/traits/encoder-trait-bounds-regression.rs b/tests/ui/traits/encoder-trait-bounds-regression.rs index 292b921cdf761..d39464c008a2f 100644 --- a/tests/ui/traits/encoder-trait-bounds-regression.rs +++ b/tests/ui/traits/encoder-trait-bounds-regression.rs @@ -8,7 +8,7 @@ //! - Multiple encoder implementations for the same type //! - Polymorphic encoding functions -//@ run-pass +//@ check-pass #![allow(unused_must_use)] #![allow(dead_code)] diff --git a/tests/ui/traits/generic-cow-inference-regression.rs b/tests/ui/traits/generic-cow-inference-regression.rs index e9dd76d1aea4f..f2ba81e4c349e 100644 --- a/tests/ui/traits/generic-cow-inference-regression.rs +++ b/tests/ui/traits/generic-cow-inference-regression.rs @@ -1,6 +1,6 @@ //@[new] compile-flags: -Znext-solver //@ revisions: old new -//@ run-pass +//@ check-pass // regression test for #147964: // constification of these traits resulted in inference errors due to additional where clauses diff --git a/tests/ui/traits/impl-trait-chain-14229.rs b/tests/ui/traits/impl-trait-chain-14229.rs index 4a234f3a68114..ae7b56ba8951f 100644 --- a/tests/ui/traits/impl-trait-chain-14229.rs +++ b/tests/ui/traits/impl-trait-chain-14229.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/14229 -//@ run-pass +//@ check-pass trait Foo: Sized { fn foo(self) {} } diff --git a/tests/ui/traits/infer-from-object-issue-26952.rs b/tests/ui/traits/infer-from-object-issue-26952.rs index 83eb9bcb62d75..31a09eba3f718 100644 --- a/tests/ui/traits/infer-from-object-issue-26952.rs +++ b/tests/ui/traits/infer-from-object-issue-26952.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_variables)] // Test that when we match a trait reference like `Foo: Foo`, diff --git a/tests/ui/traits/issue-22019.rs b/tests/ui/traits/issue-22019.rs index 191c345e2d17f..16844965e1a8f 100644 --- a/tests/ui/traits/issue-22019.rs +++ b/tests/ui/traits/issue-22019.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Test an issue where global caching was causing free regions from // distinct scopes to be compared (`'g` and `'h`). The only important // thing is that compilation succeeds here. diff --git a/tests/ui/traits/issue-23003.rs b/tests/ui/traits/issue-23003.rs index 93c5bfe32ce9e..22d7764ca5fff 100644 --- a/tests/ui/traits/issue-23003.rs +++ b/tests/ui/traits/issue-23003.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Test stack overflow triggered by evaluating the implications. To be // WF, the type `Receipt` would require that `::Cancel` be WF. This normalizes to `Receipt` diff --git a/tests/ui/traits/issue-33096.rs b/tests/ui/traits/issue-33096.rs index bd513b749bffe..53667f7ffc7bd 100644 --- a/tests/ui/traits/issue-33096.rs +++ b/tests/ui/traits/issue-33096.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass //@ compile-flags: -g use std::ops::Deref; diff --git a/tests/ui/traits/issue-38033.rs b/tests/ui/traits/issue-38033.rs index f3525bd13c4fa..82532f90a7850 100644 --- a/tests/ui/traits/issue-38033.rs +++ b/tests/ui/traits/issue-38033.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass use std::marker; use std::mem; diff --git a/tests/ui/traits/issue-43132.rs b/tests/ui/traits/issue-43132.rs index 5f11928b3173d..27be792d5d61b 100644 --- a/tests/ui/traits/issue-43132.rs +++ b/tests/ui/traits/issue-43132.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused)] fn main() { diff --git a/tests/ui/traits/item-inside-macro.rs b/tests/ui/traits/item-inside-macro.rs index 6866c7313fcb5..d194e4c1ef07b 100644 --- a/tests/ui/traits/item-inside-macro.rs +++ b/tests/ui/traits/item-inside-macro.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Issue #34183 macro_rules! foo { diff --git a/tests/ui/traits/monomorphized-callees-with-ty-params-3314.rs b/tests/ui/traits/monomorphized-callees-with-ty-params-3314.rs index 9d33ec8c1728e..b993f096d7ecf 100644 --- a/tests/ui/traits/monomorphized-callees-with-ty-params-3314.rs +++ b/tests/ui/traits/monomorphized-callees-with-ty-params-3314.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass trait Serializer { } diff --git a/tests/ui/traits/pointee-deduction.rs b/tests/ui/traits/pointee-deduction.rs index 541daf2308782..ed7850d6baf43 100644 --- a/tests/ui/traits/pointee-deduction.rs +++ b/tests/ui/traits/pointee-deduction.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(ptr_metadata)] diff --git a/tests/ui/traits/tryfrominterror-result-comparison.rs b/tests/ui/traits/tryfrominterror-result-comparison.rs index 8a2741e9058e4..e46f1978f41b7 100644 --- a/tests/ui/traits/tryfrominterror-result-comparison.rs +++ b/tests/ui/traits/tryfrominterror-result-comparison.rs @@ -3,7 +3,7 @@ //! It specifically checks a successful numeric conversion scenario where the `Result::Ok` //! variant is compared, ensuring that the comparison yields the expected boolean result. -//@ run-pass +//@ check-pass #![allow(unused_must_use)] // Allow ignoring the result of the comparison for the test's purpose diff --git a/tests/ui/traits/where-clause-vs-impl.rs b/tests/ui/traits/where-clause-vs-impl.rs index 639347b3bc36d..097db968053d1 100644 --- a/tests/ui/traits/where-clause-vs-impl.rs +++ b/tests/ui/traits/where-clause-vs-impl.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_variables)] // Test that when there is a conditional (but blanket) impl and a From 6861f59f1ff14652101daceb8a02dcb4c05b6ace Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 15:07:13 +0100 Subject: [PATCH 51/79] test: audit traits tests --- tests/ui/traits/alias/basic.rs | 2 +- tests/ui/traits/alias/import.rs | 2 +- .../associated_type_bound/check-trait-object-bounds-2-ok.rs | 2 +- tests/ui/traits/astconv-cycle-between-and-type.rs | 2 +- tests/ui/traits/bound/basic.rs | 2 +- tests/ui/traits/bound/multiple.rs | 2 +- tests/ui/traits/bug-7295.rs | 2 +- tests/ui/traits/false-ambiguity-where-clause-builtin-bound.rs | 2 +- tests/ui/traits/final/dyn-compat.rs | 2 +- tests/ui/traits/fn-type-trait-impl-15444.rs | 2 +- tests/ui/traits/impl-2.rs | 2 +- tests/ui/traits/impl-implicit-trait.rs | 2 +- tests/ui/traits/impl-object-overlap-issue-23853.rs | 2 +- tests/ui/traits/inheritance/num.rs | 2 +- tests/ui/traits/inheritance/num1.rs | 2 +- tests/ui/traits/inheritance/num5.rs | 2 +- tests/ui/traits/issue-22110.rs | 2 +- tests/ui/traits/issue-4107.rs | 2 +- tests/ui/traits/issue-6128.rs | 2 +- .../ui/traits/multidispatch-conditional-impl-not-considered.rs | 2 +- tests/ui/traits/mut-trait-in-struct-8249.rs | 2 +- tests/ui/traits/negative-impls/negative-impls-basic.rs | 2 +- tests/ui/traits/next-solver/dyn-any-dont-prefer-impl.rs | 2 +- tests/ui/traits/normalize-associated-type-in-where-clause.rs | 2 +- tests/ui/traits/object/auto-dedup.rs | 2 +- tests/ui/traits/syntax-polarity.rs | 2 +- tests/ui/traits/trait-implementation-for-primitive-type-5280.rs | 2 +- tests/ui/traits/trait-implementation-restriction-5988.rs | 2 +- 28 files changed, 28 insertions(+), 28 deletions(-) diff --git a/tests/ui/traits/alias/basic.rs b/tests/ui/traits/alias/basic.rs index b1283d2729519..0d1747336aa5f 100644 --- a/tests/ui/traits/alias/basic.rs +++ b/tests/ui/traits/alias/basic.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(trait_alias)] diff --git a/tests/ui/traits/alias/import.rs b/tests/ui/traits/alias/import.rs index 9469490ca2bf3..4c5774c6beb72 100644 --- a/tests/ui/traits/alias/import.rs +++ b/tests/ui/traits/alias/import.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![feature(trait_alias)] diff --git a/tests/ui/traits/associated_type_bound/check-trait-object-bounds-2-ok.rs b/tests/ui/traits/associated_type_bound/check-trait-object-bounds-2-ok.rs index 6eaab6e594777..0809dcc923379 100644 --- a/tests/ui/traits/associated_type_bound/check-trait-object-bounds-2-ok.rs +++ b/tests/ui/traits/associated_type_bound/check-trait-object-bounds-2-ok.rs @@ -1,6 +1,6 @@ // Make sure that we're handling bound lifetimes correctly when validating trait // bounds. -//@ run-pass +//@ check-pass trait X<'a> { type F: FnOnce(&i32) -> &'a i32; diff --git a/tests/ui/traits/astconv-cycle-between-and-type.rs b/tests/ui/traits/astconv-cycle-between-and-type.rs index cb2e172f02ec5..76eae9393e990 100644 --- a/tests/ui/traits/astconv-cycle-between-and-type.rs +++ b/tests/ui/traits/astconv-cycle-between-and-type.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Test that we are able to successfully compile a setup where a trait // (`Trait1`) references a struct (`SomeType`) which in turn // carries a predicate that references the trait (`u32 : Trait1`, diff --git a/tests/ui/traits/bound/basic.rs b/tests/ui/traits/bound/basic.rs index acd8056bee083..71ec5f43818e9 100644 --- a/tests/ui/traits/bound/basic.rs +++ b/tests/ui/traits/bound/basic.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unconditional_recursion)] diff --git a/tests/ui/traits/bound/multiple.rs b/tests/ui/traits/bound/multiple.rs index 30f229b285aaa..98e6ed17606f4 100644 --- a/tests/ui/traits/bound/multiple.rs +++ b/tests/ui/traits/bound/multiple.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass fn f(_: T) { } diff --git a/tests/ui/traits/bug-7295.rs b/tests/ui/traits/bug-7295.rs index a1cbcf1601e95..180e264190cde 100644 --- a/tests/ui/traits/bug-7295.rs +++ b/tests/ui/traits/bug-7295.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass pub trait Foo { fn func1(&self, t: U, w: T); diff --git a/tests/ui/traits/false-ambiguity-where-clause-builtin-bound.rs b/tests/ui/traits/false-ambiguity-where-clause-builtin-bound.rs index ab9d10d14fdd0..9391031849b02 100644 --- a/tests/ui/traits/false-ambiguity-where-clause-builtin-bound.rs +++ b/tests/ui/traits/false-ambiguity-where-clause-builtin-bound.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Test that we do not error out because of a (False) ambiguity // between the builtin rules for Sized and the where clause. Issue // #20959. diff --git a/tests/ui/traits/final/dyn-compat.rs b/tests/ui/traits/final/dyn-compat.rs index d600058820c20..1359a15b3ecf6 100644 --- a/tests/ui/traits/final/dyn-compat.rs +++ b/tests/ui/traits/final/dyn-compat.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(final_associated_functions)] diff --git a/tests/ui/traits/fn-type-trait-impl-15444.rs b/tests/ui/traits/fn-type-trait-impl-15444.rs index ab91e88b9cd0a..48eeac3c41915 100644 --- a/tests/ui/traits/fn-type-trait-impl-15444.rs +++ b/tests/ui/traits/fn-type-trait-impl-15444.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/15444 -//@ run-pass +//@ check-pass trait MyTrait { fn foo(&self); diff --git a/tests/ui/traits/impl-2.rs b/tests/ui/traits/impl-2.rs index eafbaeaa167b9..34a155f220b0b 100644 --- a/tests/ui/traits/impl-2.rs +++ b/tests/ui/traits/impl-2.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(non_snake_case)] diff --git a/tests/ui/traits/impl-implicit-trait.rs b/tests/ui/traits/impl-implicit-trait.rs index ff62858dcc2ff..5c25109a5ab78 100644 --- a/tests/ui/traits/impl-implicit-trait.rs +++ b/tests/ui/traits/impl-implicit-trait.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(non_camel_case_types)] diff --git a/tests/ui/traits/impl-object-overlap-issue-23853.rs b/tests/ui/traits/impl-object-overlap-issue-23853.rs index e091a01949f1d..4bf1cfb6db658 100644 --- a/tests/ui/traits/impl-object-overlap-issue-23853.rs +++ b/tests/ui/traits/impl-object-overlap-issue-23853.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Test that we are able to compile the case where both a blanket impl // and the object type itself supply the required trait obligation. // In this case, the blanket impl for `Foo` applies to any type, diff --git a/tests/ui/traits/inheritance/num.rs b/tests/ui/traits/inheritance/num.rs index 58564147a2929..c6ad3d856423e 100644 --- a/tests/ui/traits/inheritance/num.rs +++ b/tests/ui/traits/inheritance/num.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_variables)] diff --git a/tests/ui/traits/inheritance/num1.rs b/tests/ui/traits/inheritance/num1.rs index d02cff70842a6..7bd429601e37c 100644 --- a/tests/ui/traits/inheritance/num1.rs +++ b/tests/ui/traits/inheritance/num1.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] pub trait NumCast: Sized { diff --git a/tests/ui/traits/inheritance/num5.rs b/tests/ui/traits/inheritance/num5.rs index 8ac4c86c39215..4bea3119b0ed8 100644 --- a/tests/ui/traits/inheritance/num5.rs +++ b/tests/ui/traits/inheritance/num5.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass pub trait NumCast: Sized { fn from(i: i32) -> Option; diff --git a/tests/ui/traits/issue-22110.rs b/tests/ui/traits/issue-22110.rs index f16f5328ad368..fc764e8763c5c 100644 --- a/tests/ui/traits/issue-22110.rs +++ b/tests/ui/traits/issue-22110.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Test an issue where we reported ambiguity between the where-clause // and the blanket impl. The only important thing is that compilation // succeeds here. Issue #22110. diff --git a/tests/ui/traits/issue-4107.rs b/tests/ui/traits/issue-4107.rs index 1a754dab5ada6..a94503f19481e 100644 --- a/tests/ui/traits/issue-4107.rs +++ b/tests/ui/traits/issue-4107.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] pub fn main() { diff --git a/tests/ui/traits/issue-6128.rs b/tests/ui/traits/issue-6128.rs index 95b61549b5ef4..95b501d71245a 100644 --- a/tests/ui/traits/issue-6128.rs +++ b/tests/ui/traits/issue-6128.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass use std::collections::HashMap; diff --git a/tests/ui/traits/multidispatch-conditional-impl-not-considered.rs b/tests/ui/traits/multidispatch-conditional-impl-not-considered.rs index daefdcff5a556..66dc03ede94bf 100644 --- a/tests/ui/traits/multidispatch-conditional-impl-not-considered.rs +++ b/tests/ui/traits/multidispatch-conditional-impl-not-considered.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // Test that we correctly ignore the blanket impl // because (in this case) `T` does not impl `Clone`. // diff --git a/tests/ui/traits/mut-trait-in-struct-8249.rs b/tests/ui/traits/mut-trait-in-struct-8249.rs index b6dcd848b8b34..88bdaa38958c9 100644 --- a/tests/ui/traits/mut-trait-in-struct-8249.rs +++ b/tests/ui/traits/mut-trait-in-struct-8249.rs @@ -1,5 +1,5 @@ // https://github.com/rust-lang/rust/issues/8249 -//@ run-pass +//@ check-pass #![allow(dead_code)] trait A { diff --git a/tests/ui/traits/negative-impls/negative-impls-basic.rs b/tests/ui/traits/negative-impls/negative-impls-basic.rs index 3d766cc785d5b..7d8196cf62fc6 100644 --- a/tests/ui/traits/negative-impls/negative-impls-basic.rs +++ b/tests/ui/traits/negative-impls/negative-impls-basic.rs @@ -1,7 +1,7 @@ // A simple test that we are able to create negative impls, when the // feature gate is given. // -//@ run-pass +//@ check-pass #![feature(negative_impls)] #![allow(dead_code)] diff --git a/tests/ui/traits/next-solver/dyn-any-dont-prefer-impl.rs b/tests/ui/traits/next-solver/dyn-any-dont-prefer-impl.rs index 1554d74f21453..a63fe729fd687 100644 --- a/tests/ui/traits/next-solver/dyn-any-dont-prefer-impl.rs +++ b/tests/ui/traits/next-solver/dyn-any-dont-prefer-impl.rs @@ -1,5 +1,5 @@ //@ compile-flags: -Znext-solver -//@ run-pass +//@ check-pass // Test that selection prefers the builtin trait object impl for `Any` // instead of the user defined impl. Both impls apply to the trait diff --git a/tests/ui/traits/normalize-associated-type-in-where-clause.rs b/tests/ui/traits/normalize-associated-type-in-where-clause.rs index 25ca4a41aa85d..30295d5ef71eb 100644 --- a/tests/ui/traits/normalize-associated-type-in-where-clause.rs +++ b/tests/ui/traits/normalize-associated-type-in-where-clause.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass //! regression test for issue #50825, #51044 //! Check that the feature gate normalizes associated types. diff --git a/tests/ui/traits/object/auto-dedup.rs b/tests/ui/traits/object/auto-dedup.rs index 732a504e750b2..a5d3574f923a9 100644 --- a/tests/ui/traits/object/auto-dedup.rs +++ b/tests/ui/traits/object/auto-dedup.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_assignments)] diff --git a/tests/ui/traits/syntax-polarity.rs b/tests/ui/traits/syntax-polarity.rs index c6506e916ed45..e2a2014188eee 100644 --- a/tests/ui/traits/syntax-polarity.rs +++ b/tests/ui/traits/syntax-polarity.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![feature(negative_impls)] diff --git a/tests/ui/traits/trait-implementation-for-primitive-type-5280.rs b/tests/ui/traits/trait-implementation-for-primitive-type-5280.rs index 72a4283bc7e2b..31e4c97b9d2d2 100644 --- a/tests/ui/traits/trait-implementation-for-primitive-type-5280.rs +++ b/tests/ui/traits/trait-implementation-for-primitive-type-5280.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] type FontTableTag = u32; diff --git a/tests/ui/traits/trait-implementation-restriction-5988.rs b/tests/ui/traits/trait-implementation-restriction-5988.rs index d3a5b10569b22..330759b139032 100644 --- a/tests/ui/traits/trait-implementation-restriction-5988.rs +++ b/tests/ui/traits/trait-implementation-restriction-5988.rs @@ -1,5 +1,5 @@ // https://github.com/rust-lang/rust/issues/5988 -//@ run-pass +//@ check-pass trait B { fn f(&self); From e220127d4e6d679a5a32f52bce554a9bf13e221f Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 15:07:17 +0100 Subject: [PATCH 52/79] test: audit recursion test --- tests/ui/recursion/recursion-tail-call-no-arg-leak.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/recursion/recursion-tail-call-no-arg-leak.rs b/tests/ui/recursion/recursion-tail-call-no-arg-leak.rs index fe10b8907006e..1a792a27f9d29 100644 --- a/tests/ui/recursion/recursion-tail-call-no-arg-leak.rs +++ b/tests/ui/recursion/recursion-tail-call-no-arg-leak.rs @@ -2,7 +2,7 @@ //! //! Regression test for: -//@ run-pass +//@ build-pass fn inner(dummy: String, b: bool) { if b { From 0f048740b88142c69f2db93d1bccdba7f7a73abd Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 15:07:21 +0100 Subject: [PATCH 53/79] test: audit ptr_ops test --- tests/ui/ptr_ops/raw-pointer-type-basic.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/ptr_ops/raw-pointer-type-basic.rs b/tests/ui/ptr_ops/raw-pointer-type-basic.rs index 349e8e67909fd..6425fceaca095 100644 --- a/tests/ui/ptr_ops/raw-pointer-type-basic.rs +++ b/tests/ui/ptr_ops/raw-pointer-type-basic.rs @@ -1,6 +1,6 @@ //! Checks the basic usage of raw pointers (`*const isize`) as function argument and return types. -//@ run-pass +//@ check-pass #![allow(dead_code)] From e54eeb58863e7e495ea77a0718d076de59154dea Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 15:07:26 +0100 Subject: [PATCH 54/79] test: audit lexer test --- tests/ui/lexer/lex-bare-cr-nondoc-comment.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/lexer/lex-bare-cr-nondoc-comment.rs b/tests/ui/lexer/lex-bare-cr-nondoc-comment.rs index f615ae7e95b75..cfdad45bb2aae 100644 --- a/tests/ui/lexer/lex-bare-cr-nondoc-comment.rs +++ b/tests/ui/lexer/lex-bare-cr-nondoc-comment.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // ignore-tidy-cr // nondoc comment with bare CR: ' ' From 103b933de617d30810701f32a19725b6ee3fa931 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 15:07:31 +0100 Subject: [PATCH 55/79] test: audit match tests --- tests/ui/match/issue-113012.rs | 2 +- tests/ui/match/issue-33498.rs | 2 +- tests/ui/match/match-nested-enum-box-3121.rs | 2 +- tests/ui/match/match-range-char-const.rs | 2 +- tests/ui/match/match-ref-option-pattern.rs | 2 +- tests/ui/match/match-usize-min-max-pattern.rs | 2 +- tests/ui/match/tuple-usize-pattern-14393.rs | 2 +- 7 files changed, 7 insertions(+), 7 deletions(-) diff --git a/tests/ui/match/issue-113012.rs b/tests/ui/match/issue-113012.rs index 2b139829510b8..f4c4320ffbfca 100644 --- a/tests/ui/match/issue-113012.rs +++ b/tests/ui/match/issue-113012.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] struct Foo(()); diff --git a/tests/ui/match/issue-33498.rs b/tests/ui/match/issue-33498.rs index 8d741927a41b6..ec520646704c1 100644 --- a/tests/ui/match/issue-33498.rs +++ b/tests/ui/match/issue-33498.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_variables)] pub fn main() { let x = (0, 2); diff --git a/tests/ui/match/match-nested-enum-box-3121.rs b/tests/ui/match/match-nested-enum-box-3121.rs index f2ab4bf080750..0b19333d40385 100644 --- a/tests/ui/match/match-nested-enum-box-3121.rs +++ b/tests/ui/match/match-nested-enum-box-3121.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/3121 -//@ run-pass +//@ build-pass #![allow(dead_code)] #![allow(non_camel_case_types)] diff --git a/tests/ui/match/match-range-char-const.rs b/tests/ui/match/match-range-char-const.rs index 84881fd56cc0f..61dd17b716a74 100644 --- a/tests/ui/match/match-range-char-const.rs +++ b/tests/ui/match/match-range-char-const.rs @@ -1,5 +1,5 @@ //! Regression test for https://github.com/rust-lang/rust/issues/18464 -//@ run-pass +//@ check-pass #![deny(dead_code)] const LOW_RANGE: char = '0'; diff --git a/tests/ui/match/match-ref-option-pattern.rs b/tests/ui/match/match-ref-option-pattern.rs index a6de2361503a8..025ef00379367 100644 --- a/tests/ui/match/match-ref-option-pattern.rs +++ b/tests/ui/match/match-ref-option-pattern.rs @@ -1,5 +1,5 @@ //! regression test for issue #3500 -//@ run-pass +//@ check-pass pub fn main() { let x = &Some(1); diff --git a/tests/ui/match/match-usize-min-max-pattern.rs b/tests/ui/match/match-usize-min-max-pattern.rs index 6a801406895d3..c8dc920eb235b 100644 --- a/tests/ui/match/match-usize-min-max-pattern.rs +++ b/tests/ui/match/match-usize-min-max-pattern.rs @@ -1,5 +1,5 @@ //! regression test for -//@ run-pass +//@ check-pass fn main() { match (0, 0) { (usize::MIN, usize::MAX) => {} diff --git a/tests/ui/match/tuple-usize-pattern-14393.rs b/tests/ui/match/tuple-usize-pattern-14393.rs index 12d58d4c059a5..e0dd0f518c075 100644 --- a/tests/ui/match/tuple-usize-pattern-14393.rs +++ b/tests/ui/match/tuple-usize-pattern-14393.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/14393 -//@ run-pass +//@ check-pass fn main() { match ("", 1_usize) { From b03326096c0312c3fbc05ee9c083c155781a620a Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 15:07:35 +0100 Subject: [PATCH 56/79] test: audit windows-subsystem tests --- tests/ui/windows-subsystem/console.rs | 2 +- tests/ui/windows-subsystem/windows.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/windows-subsystem/console.rs b/tests/ui/windows-subsystem/console.rs index 8f0ca2de370de..ff8b642d5272a 100644 --- a/tests/ui/windows-subsystem/console.rs +++ b/tests/ui/windows-subsystem/console.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![windows_subsystem = "console"] fn main() {} diff --git a/tests/ui/windows-subsystem/windows.rs b/tests/ui/windows-subsystem/windows.rs index 65db0fec7a8b6..757126bf77353 100644 --- a/tests/ui/windows-subsystem/windows.rs +++ b/tests/ui/windows-subsystem/windows.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![windows_subsystem = "windows"] fn main() {} From 068fd2c3fda51552ecae30097605ffa945c7c5c6 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 15:07:39 +0100 Subject: [PATCH 57/79] test: audit liveness test --- tests/ui/liveness/liveness-assign-imm-local-after-ret.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/liveness/liveness-assign-imm-local-after-ret.rs b/tests/ui/liveness/liveness-assign-imm-local-after-ret.rs index ebdb5658537d2..148d2469b2cc9 100644 --- a/tests/ui/liveness/liveness-assign-imm-local-after-ret.rs +++ b/tests/ui/liveness/liveness-assign-imm-local-after-ret.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unreachable_code)] From 827cbdfbfafcffd4a6f5ab5689617aa0efd99da3 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:17:23 +0100 Subject: [PATCH 58/79] test: audit const-generics test --- tests/ui/const-generics/issues/issue-75299.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/const-generics/issues/issue-75299.rs b/tests/ui/const-generics/issues/issue-75299.rs index 2c48dc7120772..8cc873a8efa45 100644 --- a/tests/ui/const-generics/issues/issue-75299.rs +++ b/tests/ui/const-generics/issues/issue-75299.rs @@ -1,5 +1,5 @@ //@ compile-flags: -Zmir-opt-level=4 -//@ run-pass +//@ build-pass fn main() { fn foo() -> [u8; N] { [0; N] From e806a941a5c6e77a30d99ea9bcd2621bceefa2c8 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:17:27 +0100 Subject: [PATCH 59/79] test: audit ergonomic-clones test --- tests/ui/ergonomic-clones/closure/nested.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/ergonomic-clones/closure/nested.rs b/tests/ui/ergonomic-clones/closure/nested.rs index fc364fb594b2c..c9db5acc88c6f 100644 --- a/tests/ui/ergonomic-clones/closure/nested.rs +++ b/tests/ui/ergonomic-clones/closure/nested.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(ergonomic_clones)] #![allow(incomplete_features)] From d7de6d64ec120ae034cf6389bdfe5a7166427596 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:17:30 +0100 Subject: [PATCH 60/79] test: audit rfcs tests --- .../match-empty-array-allowed-without-eq-issue-62336.rs | 2 +- .../rfc1445/eq-allows-match-on-ty-in-macro.rs | 2 +- .../rfc1445/eq-allows-match.rs | 2 +- tests/ui/rfcs/rfc-2008-non-exhaustive/enum_same_crate.rs | 2 +- tests/ui/rfcs/rfc-2008-non-exhaustive/structs_same_crate.rs | 2 +- tests/ui/rfcs/rfc-2008-non-exhaustive/variants_same_crate.rs | 2 +- tests/ui/rfcs/rfc-2091-track-caller/pass.rs | 2 +- .../rfcs/rfc-2091-track-caller/shim-does-not-modify-symbol.rs | 2 +- tests/ui/rfcs/rfc-2093-infer-outlives/privacy.rs | 2 +- .../rfc-2497-if-let-chains/if_let_guard_indirect_let_chains.rs | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) diff --git a/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/match-empty-array-allowed-without-eq-issue-62336.rs b/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/match-empty-array-allowed-without-eq-issue-62336.rs index ad4e0d070da34..cfbef2dbc80e2 100644 --- a/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/match-empty-array-allowed-without-eq-issue-62336.rs +++ b/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/match-empty-array-allowed-without-eq-issue-62336.rs @@ -4,7 +4,7 @@ // // See rust-lang/rust#62336. -//@ run-pass +//@ check-pass #[derive(PartialEq, Debug)] struct B(i32); diff --git a/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/rfc1445/eq-allows-match-on-ty-in-macro.rs b/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/rfc1445/eq-allows-match-on-ty-in-macro.rs index 7250da54c6c75..9cdefcd63be5c 100644 --- a/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/rfc1445/eq-allows-match-on-ty-in-macro.rs +++ b/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/rfc1445/eq-allows-match-on-ty-in-macro.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] macro_rules! foo { diff --git a/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/rfc1445/eq-allows-match.rs b/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/rfc1445/eq-allows-match.rs index b297ec1b4e240..fc472447109f9 100644 --- a/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/rfc1445/eq-allows-match.rs +++ b/tests/ui/rfcs/rfc-1445-restrict-constants-in-patterns/rfc1445/eq-allows-match.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #[derive(PartialEq, Eq)] diff --git a/tests/ui/rfcs/rfc-2008-non-exhaustive/enum_same_crate.rs b/tests/ui/rfcs/rfc-2008-non-exhaustive/enum_same_crate.rs index 2a89eefd46136..05430c1afface 100644 --- a/tests/ui/rfcs/rfc-2008-non-exhaustive/enum_same_crate.rs +++ b/tests/ui/rfcs/rfc-2008-non-exhaustive/enum_same_crate.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #[non_exhaustive] pub enum NonExhaustiveEnum { diff --git a/tests/ui/rfcs/rfc-2008-non-exhaustive/structs_same_crate.rs b/tests/ui/rfcs/rfc-2008-non-exhaustive/structs_same_crate.rs index 9982e88874c0c..499fa2b1b235b 100644 --- a/tests/ui/rfcs/rfc-2008-non-exhaustive/structs_same_crate.rs +++ b/tests/ui/rfcs/rfc-2008-non-exhaustive/structs_same_crate.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_variables)] diff --git a/tests/ui/rfcs/rfc-2008-non-exhaustive/variants_same_crate.rs b/tests/ui/rfcs/rfc-2008-non-exhaustive/variants_same_crate.rs index 7630f2753d9d9..4152d27baa882 100644 --- a/tests/ui/rfcs/rfc-2008-non-exhaustive/variants_same_crate.rs +++ b/tests/ui/rfcs/rfc-2008-non-exhaustive/variants_same_crate.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass pub enum NonExhaustiveVariants { #[non_exhaustive] Unit, diff --git a/tests/ui/rfcs/rfc-2091-track-caller/pass.rs b/tests/ui/rfcs/rfc-2091-track-caller/pass.rs index 63d06d42b1ac7..ca91d0d530367 100644 --- a/tests/ui/rfcs/rfc-2091-track-caller/pass.rs +++ b/tests/ui/rfcs/rfc-2091-track-caller/pass.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass //@ revisions: default mir-opt //@[mir-opt] compile-flags: -Zmir-opt-level=4 diff --git a/tests/ui/rfcs/rfc-2091-track-caller/shim-does-not-modify-symbol.rs b/tests/ui/rfcs/rfc-2091-track-caller/shim-does-not-modify-symbol.rs index 255e2c159f119..1ca517e7aa12b 100644 --- a/tests/ui/rfcs/rfc-2091-track-caller/shim-does-not-modify-symbol.rs +++ b/tests/ui/rfcs/rfc-2091-track-caller/shim-does-not-modify-symbol.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(rustc_attrs)] // The shim that is generated for a function annotated with `#[track_caller]` should not inherit diff --git a/tests/ui/rfcs/rfc-2093-infer-outlives/privacy.rs b/tests/ui/rfcs/rfc-2093-infer-outlives/privacy.rs index c6ce001806d1b..037b1741f2f0e 100644 --- a/tests/ui/rfcs/rfc-2093-infer-outlives/privacy.rs +++ b/tests/ui/rfcs/rfc-2093-infer-outlives/privacy.rs @@ -3,7 +3,7 @@ // Private>::Out: 'a`, but the private trait is -- well -- private, // and hence it was not something that a pub trait could refer to. // -//@ run-pass +//@ check-pass #![allow(dead_code)] diff --git a/tests/ui/rfcs/rfc-2497-if-let-chains/if_let_guard_indirect_let_chains.rs b/tests/ui/rfcs/rfc-2497-if-let-chains/if_let_guard_indirect_let_chains.rs index 9c9d1b9f1350a..51a92a1f9f48e 100644 --- a/tests/ui/rfcs/rfc-2497-if-let-chains/if_let_guard_indirect_let_chains.rs +++ b/tests/ui/rfcs/rfc-2497-if-let-chains/if_let_guard_indirect_let_chains.rs @@ -1,5 +1,5 @@ // https://github.com/rust-lang/rust/issues/93150 -//@ run-pass +//@ check-pass fn main() { match true { From b116795dea2f10b7d642ee91c5c1419e1a44cb23 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:17:35 +0100 Subject: [PATCH 61/79] test: audit simd tests --- tests/ui/simd/intrinsic/inlining-issue67557-ice.rs | 2 +- tests/ui/simd/libm_std_can_float.rs | 2 +- tests/ui/simd/type-generic-monomorphisation-power-of-two.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/ui/simd/intrinsic/inlining-issue67557-ice.rs b/tests/ui/simd/intrinsic/inlining-issue67557-ice.rs index 49a26ff57341c..75074fe1c67f5 100644 --- a/tests/ui/simd/intrinsic/inlining-issue67557-ice.rs +++ b/tests/ui/simd/intrinsic/inlining-issue67557-ice.rs @@ -1,7 +1,7 @@ // This used to cause an ICE for an internal index out of range due to simd_shuffle_indices being // passed the wrong Instance, causing issues with inlining. See #67557. // -//@ run-pass +//@ build-pass //@ compile-flags: -Zmir-opt-level=4 #![feature(core_intrinsics, repr_simd)] diff --git a/tests/ui/simd/libm_std_can_float.rs b/tests/ui/simd/libm_std_can_float.rs index 520b7d09ae96f..c0e1edcce029e 100644 --- a/tests/ui/simd/libm_std_can_float.rs +++ b/tests/ui/simd/libm_std_can_float.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass // This is the converse of the other libm test. #![feature(portable_simd)] diff --git a/tests/ui/simd/type-generic-monomorphisation-power-of-two.rs b/tests/ui/simd/type-generic-monomorphisation-power-of-two.rs index b3e228970d009..8bd31ef0908d4 100644 --- a/tests/ui/simd/type-generic-monomorphisation-power-of-two.rs +++ b/tests/ui/simd/type-generic-monomorphisation-power-of-two.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass #![feature(repr_simd, intrinsics)] From 0c301bffc53d0edc2e3253caed41867a9e0ee52f Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:17:39 +0100 Subject: [PATCH 62/79] test: audit label test --- tests/ui/label/label_break_value_desugared_break.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/label/label_break_value_desugared_break.rs b/tests/ui/label/label_break_value_desugared_break.rs index 17ef1ba6d24bc..ca59772b20fbe 100644 --- a/tests/ui/label/label_break_value_desugared_break.rs +++ b/tests/ui/label/label_break_value_desugared_break.rs @@ -1,7 +1,7 @@ //@ edition: 2018 #![feature(try_blocks)] -//@ run-pass +//@ check-pass fn main() { let _: Result<(), ()> = try { 'foo: { From 1fedd061a7a25a0b4a5e2a72be61d7a0baa38623 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:17:43 +0100 Subject: [PATCH 63/79] test: audit block-result test --- tests/ui/block-result/blocks-without-results-11709.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/block-result/blocks-without-results-11709.rs b/tests/ui/block-result/blocks-without-results-11709.rs index 97ea6f9e19edc..7c4b65ec7f14f 100644 --- a/tests/ui/block-result/blocks-without-results-11709.rs +++ b/tests/ui/block-result/blocks-without-results-11709.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/11709 -//@ run-pass +//@ check-pass #![allow(dead_code)] // Don't panic on blocks without results From fc088f0a9ac4061638165991d4e8c9971d8f85a9 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:17:47 +0100 Subject: [PATCH 64/79] test: audit async-await tests --- tests/ui/async-await/async-drop/ex-ice-132103.rs | 2 +- tests/ui/async-await/issue-60709.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/async-await/async-drop/ex-ice-132103.rs b/tests/ui/async-await/async-drop/ex-ice-132103.rs index 3d32cb14fb061..b37050438228b 100644 --- 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/issue-60709.rs b/tests/ui/async-await/issue-60709.rs index a3f54d70316c7..eae81037900da 100644 --- 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; From 61ffc830209b7915f2e10329bbb50516e6162072 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:17:53 +0100 Subject: [PATCH 65/79] test: audit expr tests --- tests/ui/expr/if-panic-all.rs | 2 +- tests/ui/expr/return-in-block-tuple.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/expr/if-panic-all.rs b/tests/ui/expr/if-panic-all.rs index 2ba2a36d165b5..d02517c8d8d4c 100644 --- a/tests/ui/expr/if-panic-all.rs +++ b/tests/ui/expr/if-panic-all.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // When all branches of an if expression result in panic, the entire if // expression results in panic. diff --git a/tests/ui/expr/return-in-block-tuple.rs b/tests/ui/expr/return-in-block-tuple.rs index 2b3a59f21412f..1b0808a3d2dcc 100644 --- a/tests/ui/expr/return-in-block-tuple.rs +++ b/tests/ui/expr/return-in-block-tuple.rs @@ -1,5 +1,5 @@ //! regression test for https://github.com/rust-lang/rust/issues/18110 -//@ run-pass +//@ check-pass #![allow(unreachable_code)] fn main() { From 0b2eebeded2254d48dd23637349eaf466027474b Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:17:57 +0100 Subject: [PATCH 66/79] test: audit impl-header-lifetime-elision test --- .../explicit-and-elided-same-header.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/impl-header-lifetime-elision/explicit-and-elided-same-header.rs b/tests/ui/impl-header-lifetime-elision/explicit-and-elided-same-header.rs index fb5f9b0aeee55..9e707127f144e 100644 --- a/tests/ui/impl-header-lifetime-elision/explicit-and-elided-same-header.rs +++ b/tests/ui/impl-header-lifetime-elision/explicit-and-elided-same-header.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(warnings)] From 0590aa6138fbac63a15605572caafc2cc1fa3757 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:18:01 +0100 Subject: [PATCH 67/79] test: audit return tests --- tests/ui/return/early-return-with-unreachable-code-24353.rs | 2 +- tests/ui/return/return-nil.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/return/early-return-with-unreachable-code-24353.rs b/tests/ui/return/early-return-with-unreachable-code-24353.rs index 13add4652d994..7f82cc55a1ee5 100644 --- a/tests/ui/return/early-return-with-unreachable-code-24353.rs +++ b/tests/ui/return/early-return-with-unreachable-code-24353.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unreachable_code)] fn main() { return (); diff --git a/tests/ui/return/return-nil.rs b/tests/ui/return/return-nil.rs index c2591a77b3015..224f8bc1c6e6c 100644 --- a/tests/ui/return/return-nil.rs +++ b/tests/ui/return/return-nil.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass fn f() { let x = (); return x; } From f61f200050b9347e1b6f967eeddafed18872a1ee Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:18:07 +0100 Subject: [PATCH 68/79] test: audit imports tests --- tests/ui/imports/issue-26873-multifile/issue-26873-multifile.rs | 2 +- tests/ui/imports/issue-26873-multifile/issue-26873-onefile.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/imports/issue-26873-multifile/issue-26873-multifile.rs b/tests/ui/imports/issue-26873-multifile/issue-26873-multifile.rs index 2fd9210806b66..41ff9b15b09e8 100644 --- a/tests/ui/imports/issue-26873-multifile/issue-26873-multifile.rs +++ b/tests/ui/imports/issue-26873-multifile/issue-26873-multifile.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_imports)] #![allow(non_snake_case)] diff --git a/tests/ui/imports/issue-26873-multifile/issue-26873-onefile.rs b/tests/ui/imports/issue-26873-multifile/issue-26873-onefile.rs index 603d4e0d65da3..efc201a0301de 100644 --- a/tests/ui/imports/issue-26873-multifile/issue-26873-onefile.rs +++ b/tests/ui/imports/issue-26873-multifile/issue-26873-onefile.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_imports)] #![allow(non_snake_case)] From 866d83df7988439e6a5c0b08d759302b0b4522a5 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:18:11 +0100 Subject: [PATCH 69/79] test: audit parser tests --- tests/ui/parser/doc-comment-parsing.rs | 2 +- tests/ui/parser/nested-block-comments.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/parser/doc-comment-parsing.rs b/tests/ui/parser/doc-comment-parsing.rs index 00f6b0e09a892..0da2f7518b5f1 100644 --- a/tests/ui/parser/doc-comment-parsing.rs +++ b/tests/ui/parser/doc-comment-parsing.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/10638 -//@ run-pass +//@ check-pass pub fn main() { //// I am not a doc comment! diff --git a/tests/ui/parser/nested-block-comments.rs b/tests/ui/parser/nested-block-comments.rs index 8fe778963619c..a6ba6bf13c3c9 100644 --- a/tests/ui/parser/nested-block-comments.rs +++ b/tests/ui/parser/nested-block-comments.rs @@ -2,7 +2,7 @@ //! //! See . -//@ run-pass +//@ check-pass /* This test checks that nested comments are supported From 69762233068e40045fdcb25c7ab553cb735516bb Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:33:40 +0100 Subject: [PATCH 70/79] test: audit parser tests --- tests/ui/parser/integer-literal-method-call-underscore.rs | 2 +- tests/ui/parser/issues/issue-21475.rs | 2 +- tests/ui/parser/issues/issue-48508.rs | 2 +- tests/ui/parser/issues/issue-7222.rs | 2 +- tests/ui/parser/multiline-comments-basic.rs | 2 +- .../ui/parser/pattern-matching-with-double-references-61475.rs | 2 +- tests/ui/parser/reference-whitespace-parsing.rs | 2 +- tests/ui/parser/slowparse-bstring.rs | 2 +- tests/ui/parser/slowparse-string.rs | 2 +- tests/ui/parser/syntactic-trailing-commas.rs | 2 +- tests/ui/parser/ufcs-return-unused-parens.fixed | 2 +- tests/ui/parser/ufcs-return-unused-parens.rs | 2 +- 12 files changed, 12 insertions(+), 12 deletions(-) diff --git a/tests/ui/parser/integer-literal-method-call-underscore.rs b/tests/ui/parser/integer-literal-method-call-underscore.rs index 9e4abf28cbaa6..c54740da7fab5 100644 --- a/tests/ui/parser/integer-literal-method-call-underscore.rs +++ b/tests/ui/parser/integer-literal-method-call-underscore.rs @@ -2,7 +2,7 @@ //! successfully called directly on integer literals, confirming the correct //! parsing of such expressions where the underscore is part of the method identifier. -//@ run-pass +//@ check-pass trait Tr: Sized { fn _method_on_numbers(self) {} diff --git a/tests/ui/parser/issues/issue-21475.rs b/tests/ui/parser/issues/issue-21475.rs index 43dc7c53a7085..e07b866ba4c2e 100644 --- a/tests/ui/parser/issues/issue-21475.rs +++ b/tests/ui/parser/issues/issue-21475.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(unused_imports, overlapping_range_endpoints)] use m::{START, END}; diff --git a/tests/ui/parser/issues/issue-48508.rs b/tests/ui/parser/issues/issue-48508.rs index 54adfce93a4bb..cf7bb5ea0349f 100644 --- a/tests/ui/parser/issues/issue-48508.rs +++ b/tests/ui/parser/issues/issue-48508.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass // Regression test for issue #48508: // // Confusion between global and local file offsets caused incorrect handling of multibyte character diff --git a/tests/ui/parser/issues/issue-7222.rs b/tests/ui/parser/issues/issue-7222.rs index d601731dc7734..8a5a0e701f5b5 100644 --- a/tests/ui/parser/issues/issue-7222.rs +++ b/tests/ui/parser/issues/issue-7222.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass pub fn main() { const FOO: f64 = 10.0; diff --git a/tests/ui/parser/multiline-comments-basic.rs b/tests/ui/parser/multiline-comments-basic.rs index 1aa2a531f5cc2..9d6bdb2a0b6f9 100644 --- a/tests/ui/parser/multiline-comments-basic.rs +++ b/tests/ui/parser/multiline-comments-basic.rs @@ -2,7 +2,7 @@ //! //! Feature implementation test for . -//@ run-pass +//@ check-pass /* * This is a multi-line comment. diff --git a/tests/ui/parser/pattern-matching-with-double-references-61475.rs b/tests/ui/parser/pattern-matching-with-double-references-61475.rs index bf800ec8b2c66..f526b16b2ff34 100644 --- a/tests/ui/parser/pattern-matching-with-double-references-61475.rs +++ b/tests/ui/parser/pattern-matching-with-double-references-61475.rs @@ -1,5 +1,5 @@ // https://github.com/rust-lang/rust/issues/61475 -//@ run-pass +//@ check-pass #![allow(dead_code)] enum E { diff --git a/tests/ui/parser/reference-whitespace-parsing.rs b/tests/ui/parser/reference-whitespace-parsing.rs index 7109c5911aef9..249e2d503479b 100644 --- a/tests/ui/parser/reference-whitespace-parsing.rs +++ b/tests/ui/parser/reference-whitespace-parsing.rs @@ -1,6 +1,6 @@ //! Test parsing of multiple references with various whitespace arrangements -//@ run-pass +//@ check-pass #![allow(dead_code)] diff --git a/tests/ui/parser/slowparse-bstring.rs b/tests/ui/parser/slowparse-bstring.rs index facfa8bb8529b..9aa387ce66bab 100644 --- a/tests/ui/parser/slowparse-bstring.rs +++ b/tests/ui/parser/slowparse-bstring.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // ignore-tidy-linelength // Issue #16624 diff --git a/tests/ui/parser/slowparse-string.rs b/tests/ui/parser/slowparse-string.rs index 977aa7c8766f9..5dee3cad28a86 100644 --- a/tests/ui/parser/slowparse-string.rs +++ b/tests/ui/parser/slowparse-string.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // ignore-tidy-linelength // Issue #16624 diff --git a/tests/ui/parser/syntactic-trailing-commas.rs b/tests/ui/parser/syntactic-trailing-commas.rs index ba688dffb3c46..b9e33d493aeb3 100644 --- a/tests/ui/parser/syntactic-trailing-commas.rs +++ b/tests/ui/parser/syntactic-trailing-commas.rs @@ -6,7 +6,7 @@ //! - Enum variant declarations. //! - Attributes. -//@ run-pass +//@ check-pass fn f(_: T,) {} diff --git a/tests/ui/parser/ufcs-return-unused-parens.fixed b/tests/ui/parser/ufcs-return-unused-parens.fixed index 811a853b76933..3c35f75612a6b 100644 --- a/tests/ui/parser/ufcs-return-unused-parens.fixed +++ b/tests/ui/parser/ufcs-return-unused-parens.fixed @@ -3,7 +3,7 @@ //! //! Regression test for . -//@ run-pass +//@ check-pass //@ run-rustfix #![allow(dead_code)] diff --git a/tests/ui/parser/ufcs-return-unused-parens.rs b/tests/ui/parser/ufcs-return-unused-parens.rs index 6ea69ef9a2627..d31ae98f99b34 100644 --- a/tests/ui/parser/ufcs-return-unused-parens.rs +++ b/tests/ui/parser/ufcs-return-unused-parens.rs @@ -3,7 +3,7 @@ //! //! Regression test for . -//@ run-pass +//@ check-pass //@ run-rustfix #![allow(dead_code)] From 6a73b0ecc6120d4b10dd50d7504409a7b1f5fd06 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:33:44 +0100 Subject: [PATCH 71/79] test: audit packed test --- tests/ui/packed/issue-46152.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/packed/issue-46152.rs b/tests/ui/packed/issue-46152.rs index 5b2e4bbfdf243..c3265498578b1 100644 --- a/tests/ui/packed/issue-46152.rs +++ b/tests/ui/packed/issue-46152.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_variables)] #![allow(non_local_definitions)] From c553b091b5242b8bd552f4c4a8aa27105ab55d84 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:33:49 +0100 Subject: [PATCH 72/79] test: audit binding tests --- tests/ui/binding/match-range-static.rs | 2 +- tests/ui/binding/match-value-binding-in-guard-3291.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/binding/match-range-static.rs b/tests/ui/binding/match-range-static.rs index cf4d030b66fbe..d7722b1f2beda 100644 --- a/tests/ui/binding/match-range-static.rs +++ b/tests/ui/binding/match-range-static.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(non_upper_case_globals)] const s: isize = 1; diff --git a/tests/ui/binding/match-value-binding-in-guard-3291.rs b/tests/ui/binding/match-value-binding-in-guard-3291.rs index ca8c34628b71e..898bd2d51c927 100644 --- a/tests/ui/binding/match-value-binding-in-guard-3291.rs +++ b/tests/ui/binding/match-value-binding-in-guard-3291.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass fn foo(x: Option>, b: bool) -> isize { match x { From ec949db6c83b9f63fb848b58ade1b66814f8a2b1 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:33:54 +0100 Subject: [PATCH 73/79] test: audit codegen test --- tests/ui/codegen/issue-55976.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/codegen/issue-55976.rs b/tests/ui/codegen/issue-55976.rs index e28d5ab114c7e..86cd5c9c7641c 100644 --- a/tests/ui/codegen/issue-55976.rs +++ b/tests/ui/codegen/issue-55976.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // ^-- The above is needed as this issue is related to LLVM/codegen. fn main() { From ee58accbca97e59e2a049df20b650459b0857cf6 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:34:00 +0100 Subject: [PATCH 74/79] test: audit tool-attributes tests --- tests/ui/tool-attributes/tool_lints-rpass.rs | 2 +- tests/ui/tool-attributes/tool_lints_2018_preview.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/tool-attributes/tool_lints-rpass.rs b/tests/ui/tool-attributes/tool_lints-rpass.rs index 458eca19ed6c7..7e4aad8889b61 100644 --- a/tests/ui/tool-attributes/tool_lints-rpass.rs +++ b/tests/ui/tool-attributes/tool_lints-rpass.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![deny(unknown_lints)] diff --git a/tests/ui/tool-attributes/tool_lints_2018_preview.rs b/tests/ui/tool-attributes/tool_lints_2018_preview.rs index 458eca19ed6c7..7e4aad8889b61 100644 --- a/tests/ui/tool-attributes/tool_lints_2018_preview.rs +++ b/tests/ui/tool-attributes/tool_lints_2018_preview.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![deny(unknown_lints)] From 3438c90ad72b7687a5f27bd13da2100700c43155 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:34:05 +0100 Subject: [PATCH 75/79] test: audit lifetimes tests --- tests/ui/lifetimes/enum-lifetime-container-10228.rs | 2 +- tests/ui/lifetimes/issue-84604.rs | 2 +- .../ui/lifetimes/late-bound-lifetime-arguments-warning-72278.rs | 2 +- tests/ui/lifetimes/ref-pattern-lifetime-annotation-13665.rs | 2 +- tests/ui/lifetimes/trait-object-constructor-14821.rs | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/tests/ui/lifetimes/enum-lifetime-container-10228.rs b/tests/ui/lifetimes/enum-lifetime-container-10228.rs index ebbefb619c616..6ffba077514ef 100644 --- a/tests/ui/lifetimes/enum-lifetime-container-10228.rs +++ b/tests/ui/lifetimes/enum-lifetime-container-10228.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/10228 -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_variables)] diff --git a/tests/ui/lifetimes/issue-84604.rs b/tests/ui/lifetimes/issue-84604.rs index 3f83b0c1cd3ca..9b9ff6bf1c5db 100644 --- a/tests/ui/lifetimes/issue-84604.rs +++ b/tests/ui/lifetimes/issue-84604.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ build-pass //@ compile-flags: -Csymbol-mangling-version=v0 pub fn f() {} diff --git a/tests/ui/lifetimes/late-bound-lifetime-arguments-warning-72278.rs b/tests/ui/lifetimes/late-bound-lifetime-arguments-warning-72278.rs index 81e4d3e7043bd..927f9d3fcfb97 100644 --- a/tests/ui/lifetimes/late-bound-lifetime-arguments-warning-72278.rs +++ b/tests/ui/lifetimes/late-bound-lifetime-arguments-warning-72278.rs @@ -1,6 +1,6 @@ // https://github.com/rust-lang/rust/issues/72278 // and https://github.com/rust-lang/rust/issues/42868 -//@ run-pass +//@ check-pass #![allow(unused)] diff --git a/tests/ui/lifetimes/ref-pattern-lifetime-annotation-13665.rs b/tests/ui/lifetimes/ref-pattern-lifetime-annotation-13665.rs index bae2f73baa36f..6a3299488c040 100644 --- a/tests/ui/lifetimes/ref-pattern-lifetime-annotation-13665.rs +++ b/tests/ui/lifetimes/ref-pattern-lifetime-annotation-13665.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/13665 -//@ run-pass +//@ check-pass fn foo<'r>() { let maybe_value_ref: Option<&'r u8> = None; diff --git a/tests/ui/lifetimes/trait-object-constructor-14821.rs b/tests/ui/lifetimes/trait-object-constructor-14821.rs index 76f0c7514bc33..5c6681c03bea2 100644 --- a/tests/ui/lifetimes/trait-object-constructor-14821.rs +++ b/tests/ui/lifetimes/trait-object-constructor-14821.rs @@ -1,6 +1,6 @@ //! Regression test for https://github.com/rust-lang/rust/issues/14821 -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(unused_variables)] trait SomeTrait {} From 3bcdd9f2148d0226a4cb5c7117276bdfa96a55cb Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:34:08 +0100 Subject: [PATCH 76/79] test: audit rustc-env test --- tests/ui/rustc-env/rust-log.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/rustc-env/rust-log.rs b/tests/ui/rustc-env/rust-log.rs index 10040754593c2..df68a5a5ee9c5 100644 --- a/tests/ui/rustc-env/rust-log.rs +++ b/tests/ui/rustc-env/rust-log.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass // This test is just checking that we won't ICE if logging is turned // on; don't bother trying to compare that (copious) output. // From 2df0990dff4082f17345f5ebcc8a703fc5249ce3 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:34:11 +0100 Subject: [PATCH 77/79] test: audit abi test --- tests/ui/abi/relocation_model_pic.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/ui/abi/relocation_model_pic.rs b/tests/ui/abi/relocation_model_pic.rs index e15b47acf1094..f35c71d11dd26 100644 --- 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 From 083070cff9b70ccf652baf45853d4ff85310cfe2 Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:34:16 +0100 Subject: [PATCH 78/79] test: audit coherence tests --- tests/ui/coherence/coherence-impl-in-fn.rs | 2 +- tests/ui/coherence/coherence-negative-impls-safe-rpass.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/ui/coherence/coherence-impl-in-fn.rs b/tests/ui/coherence/coherence-impl-in-fn.rs index c391e87bf8d17..635576a00000e 100644 --- a/tests/ui/coherence/coherence-impl-in-fn.rs +++ b/tests/ui/coherence/coherence-impl-in-fn.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![allow(non_camel_case_types)] diff --git a/tests/ui/coherence/coherence-negative-impls-safe-rpass.rs b/tests/ui/coherence/coherence-negative-impls-safe-rpass.rs index 5935e972e49e8..5007313c5d6af 100644 --- a/tests/ui/coherence/coherence-negative-impls-safe-rpass.rs +++ b/tests/ui/coherence/coherence-negative-impls-safe-rpass.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #![allow(dead_code)] #![feature(negative_impls)] From 4de197823eb471e677320ade0e986347bd33dbab Mon Sep 17 00:00:00 2001 From: Ayuse Date: Wed, 29 Apr 2026 16:34:23 +0100 Subject: [PATCH 79/79] test: audit borrowck tests --- tests/ui/borrowck/borrowck-assign-to-subfield.rs | 2 +- tests/ui/borrowck/borrowck-box-sensitivity.rs | 2 +- tests/ui/borrowck/borrowck-closures-slice-patterns-ok.rs | 2 +- tests/ui/borrowck/issue-46095.rs | 2 +- tests/ui/borrowck/region-checker-map-closure-13665.rs | 2 +- tests/ui/borrowck/rvalue-lifetime-match-equivalence-7660.rs | 2 +- tests/ui/borrowck/two-phase-method-receivers.rs | 2 +- 7 files changed, 7 insertions(+), 7 deletions(-) diff --git a/tests/ui/borrowck/borrowck-assign-to-subfield.rs b/tests/ui/borrowck/borrowck-assign-to-subfield.rs index 8e5192611ffd9..f8e0c4293ebbd 100644 --- a/tests/ui/borrowck/borrowck-assign-to-subfield.rs +++ b/tests/ui/borrowck/borrowck-assign-to-subfield.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass #[allow(unused)] pub fn main() { diff --git a/tests/ui/borrowck/borrowck-box-sensitivity.rs b/tests/ui/borrowck/borrowck-box-sensitivity.rs index 421d6a53a17dd..a750410dd45df 100644 --- a/tests/ui/borrowck/borrowck-box-sensitivity.rs +++ b/tests/ui/borrowck/borrowck-box-sensitivity.rs @@ -1,7 +1,7 @@ // Test that `Box` is treated specially by borrow checking. This is the case // because NLL reverted the deicision in rust-lang/rfcs#130. -//@ run-pass +//@ check-pass struct A { x: Box, diff --git a/tests/ui/borrowck/borrowck-closures-slice-patterns-ok.rs b/tests/ui/borrowck/borrowck-closures-slice-patterns-ok.rs index ec01db2948a28..94f6228624913 100644 --- a/tests/ui/borrowck/borrowck-closures-slice-patterns-ok.rs +++ b/tests/ui/borrowck/borrowck-closures-slice-patterns-ok.rs @@ -3,7 +3,7 @@ #![allow(unused_variables)] #![allow(dropping_references)] -//@ run-pass +//@ check-pass fn arr_by_ref(x: [String; 3]) { let r = &x; diff --git a/tests/ui/borrowck/issue-46095.rs b/tests/ui/borrowck/issue-46095.rs index 52a814e96ebc3..2a701286ccfea 100644 --- a/tests/ui/borrowck/issue-46095.rs +++ b/tests/ui/borrowck/issue-46095.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass struct A; impl A { diff --git a/tests/ui/borrowck/region-checker-map-closure-13665.rs b/tests/ui/borrowck/region-checker-map-closure-13665.rs index 72efa42fe3835..ad9ab7a3a072c 100644 --- a/tests/ui/borrowck/region-checker-map-closure-13665.rs +++ b/tests/ui/borrowck/region-checker-map-closure-13665.rs @@ -1,5 +1,5 @@ // https://github.com/rust-lang/rust/issues/13665 -//@ run-pass +//@ check-pass fn foo<'r>() { let maybe_value_ref: Option<&'r u8> = None; diff --git a/tests/ui/borrowck/rvalue-lifetime-match-equivalence-7660.rs b/tests/ui/borrowck/rvalue-lifetime-match-equivalence-7660.rs index 90526de14e758..2b35fad2329f2 100644 --- a/tests/ui/borrowck/rvalue-lifetime-match-equivalence-7660.rs +++ b/tests/ui/borrowck/rvalue-lifetime-match-equivalence-7660.rs @@ -1,5 +1,5 @@ // https://github.com/rust-lang/rust/issues/7660 -//@ run-pass +//@ check-pass #![allow(unused_variables)] // Regression test for issue 7660 // rvalue lifetime too short when equivalent `match` works diff --git a/tests/ui/borrowck/two-phase-method-receivers.rs b/tests/ui/borrowck/two-phase-method-receivers.rs index 147b70d0cfbf4..7cbbf00d35f43 100644 --- a/tests/ui/borrowck/two-phase-method-receivers.rs +++ b/tests/ui/borrowck/two-phase-method-receivers.rs @@ -1,4 +1,4 @@ -//@ run-pass +//@ check-pass struct Foo<'a> { x: &'a i32