From b19b0e5629d8eb7aedfa1872a52f470bb4ba7fa9 Mon Sep 17 00:00:00 2001 From: SynapLink Date: Tue, 28 Apr 2026 23:02:17 +0200 Subject: [PATCH] tests: mark simple UI tests as check-pass --- tests/ui/associated-consts/associated-const-trait-bound.rs | 2 +- .../associated-type-bounds/entails-sized-dyn-compatibility.rs | 2 +- tests/ui/associated-type-bounds/trait-params.rs | 2 +- tests/ui/closure-expected-type/expect-fn-supply-fn-multiple.rs | 2 +- .../expect-infer-var-supply-ty-with-bound-region.rs | 2 +- .../expect-infer-var-supply-ty-with-free-region.rs | 2 +- tests/ui/closures/closure_promotion.rs | 2 +- .../ui/coherence/coherence_copy_like_err_fundamental_struct.rs | 2 +- tests/ui/deprecation/derive_on_deprecated.rs | 2 +- tests/ui/deprecation/derive_on_deprecated_forbidden.rs | 2 +- tests/ui/dyn-compatibility/by-value-self.rs | 2 +- tests/ui/dyn-compatibility/phantom-fn.rs | 2 +- tests/ui/variance/variance-use-contravariant-struct-2.rs | 2 +- tests/ui/variance/variance-use-covariant-struct-2.rs | 2 +- 14 files changed, 14 insertions(+), 14 deletions(-) diff --git a/tests/ui/associated-consts/associated-const-trait-bound.rs b/tests/ui/associated-consts/associated-const-trait-bound.rs index 6dfdbff85c03a..8069c676637a7 100644 --- a/tests/ui/associated-consts/associated-const-trait-bound.rs +++ b/tests/ui/associated-consts/associated-const-trait-bound.rs @@ -1,4 +1,4 @@ -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass trait ConstDefault { const DEFAULT: Self; diff --git a/tests/ui/associated-type-bounds/entails-sized-dyn-compatibility.rs b/tests/ui/associated-type-bounds/entails-sized-dyn-compatibility.rs index 943df68493fb1..d5e8252ff19da 100644 --- a/tests/ui/associated-type-bounds/entails-sized-dyn-compatibility.rs +++ b/tests/ui/associated-type-bounds/entails-sized-dyn-compatibility.rs @@ -1,4 +1,4 @@ -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass trait Tr1: Sized { type As1; } trait Tr2<'a>: Sized { type As2; } diff --git a/tests/ui/associated-type-bounds/trait-params.rs b/tests/ui/associated-type-bounds/trait-params.rs index 72a445351e760..87f52fad9f9c5 100644 --- a/tests/ui/associated-type-bounds/trait-params.rs +++ b/tests/ui/associated-type-bounds/trait-params.rs @@ -1,4 +1,4 @@ -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass use std::iter::Once; use std::ops::Range; diff --git a/tests/ui/closure-expected-type/expect-fn-supply-fn-multiple.rs b/tests/ui/closure-expected-type/expect-fn-supply-fn-multiple.rs index f0e20d67fa6c9..804dcc5488b1e 100644 --- a/tests/ui/closure-expected-type/expect-fn-supply-fn-multiple.rs +++ b/tests/ui/closure-expected-type/expect-fn-supply-fn-multiple.rs @@ -1,4 +1,4 @@ -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass #![allow(warnings)] diff --git a/tests/ui/closure-expected-type/expect-infer-var-supply-ty-with-bound-region.rs b/tests/ui/closure-expected-type/expect-infer-var-supply-ty-with-bound-region.rs index 799dc8bf08999..9454845362947 100644 --- a/tests/ui/closure-expected-type/expect-infer-var-supply-ty-with-bound-region.rs +++ b/tests/ui/closure-expected-type/expect-infer-var-supply-ty-with-bound-region.rs @@ -1,4 +1,4 @@ -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass fn with_closure(_: F) where F: FnOnce(A, &u32) diff --git a/tests/ui/closure-expected-type/expect-infer-var-supply-ty-with-free-region.rs b/tests/ui/closure-expected-type/expect-infer-var-supply-ty-with-free-region.rs index e9109ddff1a74..9bb6246a119a7 100644 --- a/tests/ui/closure-expected-type/expect-infer-var-supply-ty-with-free-region.rs +++ b/tests/ui/closure-expected-type/expect-infer-var-supply-ty-with-free-region.rs @@ -1,4 +1,4 @@ -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass fn with_closure(_: F) where F: FnOnce(A, &u32) diff --git a/tests/ui/closures/closure_promotion.rs b/tests/ui/closures/closure_promotion.rs index c790e423a806b..3b3c498c7a843 100644 --- a/tests/ui/closures/closure_promotion.rs +++ b/tests/ui/closures/closure_promotion.rs @@ -1,4 +1,4 @@ -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass fn main() { let x: &'static _ = &|| { let z = 3; z }; diff --git a/tests/ui/coherence/coherence_copy_like_err_fundamental_struct.rs b/tests/ui/coherence/coherence_copy_like_err_fundamental_struct.rs index 593661c8d7661..57077fcbc47c6 100644 --- a/tests/ui/coherence/coherence_copy_like_err_fundamental_struct.rs +++ b/tests/ui/coherence/coherence_copy_like_err_fundamental_struct.rs @@ -2,7 +2,7 @@ // `MyType: !MyTrait` along with other "fundamental" wrappers. //@ aux-build:coherence_copy_like_lib.rs -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass // skip-codgen #![allow(dead_code)] diff --git a/tests/ui/deprecation/derive_on_deprecated.rs b/tests/ui/deprecation/derive_on_deprecated.rs index b3d784aec37b3..5aaa25eae8fb1 100644 --- a/tests/ui/deprecation/derive_on_deprecated.rs +++ b/tests/ui/deprecation/derive_on_deprecated.rs @@ -1,4 +1,4 @@ -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass #![deny(deprecated)] diff --git a/tests/ui/deprecation/derive_on_deprecated_forbidden.rs b/tests/ui/deprecation/derive_on_deprecated_forbidden.rs index c240a6938fc55..247d8a4d6ffcc 100644 --- a/tests/ui/deprecation/derive_on_deprecated_forbidden.rs +++ b/tests/ui/deprecation/derive_on_deprecated_forbidden.rs @@ -1,4 +1,4 @@ -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass #![forbid(deprecated)] diff --git a/tests/ui/dyn-compatibility/by-value-self.rs b/tests/ui/dyn-compatibility/by-value-self.rs index a057a7ff0b57a..88d5dd2069b68 100644 --- a/tests/ui/dyn-compatibility/by-value-self.rs +++ b/tests/ui/dyn-compatibility/by-value-self.rs @@ -1,6 +1,6 @@ // Check that a trait with by-value self is considered dyn-compatible. -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass #![allow(dead_code)] #![allow(trivial_casts)] diff --git a/tests/ui/dyn-compatibility/phantom-fn.rs b/tests/ui/dyn-compatibility/phantom-fn.rs index 9e410da82eed5..53cd02dc19202 100644 --- a/tests/ui/dyn-compatibility/phantom-fn.rs +++ b/tests/ui/dyn-compatibility/phantom-fn.rs @@ -1,6 +1,6 @@ // Check that `Self` appearing in a phantom fn does not make a trait dyn-incompatible. -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass #![allow(dead_code)] trait Baz { diff --git a/tests/ui/variance/variance-use-contravariant-struct-2.rs b/tests/ui/variance/variance-use-contravariant-struct-2.rs index ef6264d334811..cb2c5698dddd7 100644 --- a/tests/ui/variance/variance-use-contravariant-struct-2.rs +++ b/tests/ui/variance/variance-use-contravariant-struct-2.rs @@ -2,7 +2,7 @@ // they permit lifetimes to be approximated as expected. #![allow(dead_code)] -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass struct SomeStruct(fn(T)); diff --git a/tests/ui/variance/variance-use-covariant-struct-2.rs b/tests/ui/variance/variance-use-covariant-struct-2.rs index 14f5d541c690a..ac5d5cccd51fe 100644 --- a/tests/ui/variance/variance-use-covariant-struct-2.rs +++ b/tests/ui/variance/variance-use-covariant-struct-2.rs @@ -2,7 +2,7 @@ // be shortened. #![allow(dead_code)] -//@ build-pass (FIXME(62277): could be check-pass?) +//@ check-pass struct SomeStruct(T);