Rollup merge of #68504 - tmiasko:check-pass, r=alexcrichton

Use check-pass mode for lint tests and nll tests

Helps with issue #62277.

Author: JohnTitor

src/test/ui/lint/command-line-lint-group-allow.rs

@@ -1,5 +1,5 @@
 // compile-flags: -A bad-style
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 fn main() {
     let _InappropriateCamelCasing = true;

src/test/ui/lint/dead-code/tuple-struct-field.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![deny(dead_code)]
 

src/test/ui/lint/inclusive-range-pattern-syntax.fixed

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 // run-rustfix
 
 #![warn(ellipsis_inclusive_range_patterns)]

src/test/ui/lint/inclusive-range-pattern-syntax.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 // run-rustfix
 
 #![warn(ellipsis_inclusive_range_patterns)]

src/test/ui/lint/lint-lowercase-static-const-pattern-rename.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 // Issue #7526: lowercase static constants in patterns look like bindings
 
 // This is similar to lint-lowercase-static-const-pattern.rs, except it

src/test/ui/lint/lint-non-camel-case-variant.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![deny(non_camel_case_types)]
 

src/test/ui/lint/lint-non-camel-case-with-trailing-underscores.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![allow(dead_code)]
 // This is ok because we often use the trailing underscore to mean 'prime'

src/test/ui/lint/lint-non-snake-case-no-lowercase-equivalent.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![allow(dead_code)]
 // pretty-expanded FIXME #23616

src/test/ui/lint/lint-nonstandard-style-unicode.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![allow(dead_code)]
 

src/test/ui/lint/lint-output-format-2.rs

@@ -1,7 +1,7 @@
 // aux-build:lint_output_format.rs
 
 #![feature(unstable_test_feature)]
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 extern crate lint_output_format;
 use lint_output_format::{foo, bar};

src/test/ui/lint/lint-stability-deprecated.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 // aux-build:lint_stability.rs
 // aux-build:inherited_stability.rs
 // aux-build:stability_cfg1.rs

src/test/ui/lint/lints-in-foreign-macros.rs

@@ -1,5 +1,5 @@
 // aux-build:lints-in-foreign-macros.rs
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![warn(unused_imports)] //~ missing documentation for crate [missing_docs]
 #![warn(missing_docs)]

src/test/ui/lint/reasons.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![feature(lint_reasons)]
 

src/test/ui/lint/type-overflow.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 #![warn(overflowing_literals)]
 
 fn main() {

src/test/ui/lint/unused_labels.rs

@@ -2,7 +2,7 @@
 // should also deal with the edge cases where a label is shadowed,
 // within nested loops
 
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![feature(label_break_value)]
 #![warn(unused_labels)]

src/test/ui/lint/use-redundant.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 #![warn(unused_imports)]
 
 use crate::foo::Bar;

src/test/ui/nll/closure-requirements/propagate-despite-same-free-region.rs

@@ -4,7 +4,7 @@
 // regions is erased.
 
 // compile-flags:-Zborrowck=mir -Zverbose
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![feature(rustc_attrs)]
 

src/test/ui/nll/constant.rs

@@ -2,7 +2,7 @@
 // arbitrary types without ICEs.
 
 // compile-flags:-Zborrowck=mir
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 const HI: &str = "hi";
 

src/test/ui/nll/drop-may-dangle.rs

@@ -3,7 +3,7 @@
 // including) the call to `use_x`. The `else` branch is not included.
 
 // compile-flags:-Zborrowck=mir
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![allow(warnings)]
 #![feature(dropck_eyepatch)]

src/test/ui/nll/extra-unused-mut.rs

@@ -1,6 +1,6 @@
 // extra unused mut lint tests for #51918
 
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![feature(generators, nll)]
 #![deny(unused_mut)]

src/test/ui/nll/generator-distinct-lifetime.rs

@@ -6,7 +6,7 @@
 // over a yield -- because the data that is borrowed (`*x`) is not
 // stored on the stack.
 
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 fn foo(x: &mut u32) {
     move || {

src/test/ui/nll/maybe-initialized-drop-uninitialized.rs

@@ -1,5 +1,5 @@
 // compile-flags: -Zborrowck=mir
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![allow(warnings)]
 

src/test/ui/nll/projection-return.rs

@@ -1,5 +1,5 @@
 // compile-flags:-Zborrowck=mir
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![feature(rustc_attrs)]
 

src/test/ui/nll/relate_tys/hr-fn-aau-eq-abu.rs

@@ -6,7 +6,7 @@
 // another -- effectively, the single lifetime `'a` is just inferred
 // to be the intersection of the two distinct lifetimes.
 //
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 // compile-flags:-Zno-leak-check
 
 #![feature(nll)]

src/test/ui/nll/relate_tys/hr-fn-aba-as-aaa.rs

@@ -2,7 +2,7 @@
 // function returning always its first argument can be upcast to one
 // that returns either first or second argument.
 //
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 // compile-flags:-Zno-leak-check
 
 #![feature(nll)]

src/test/ui/nll/ty-outlives/projection-body.rs

@@ -1,7 +1,7 @@
 // Test that when we infer the lifetime to a subset of the fn body, it
 // works out.
 //
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 trait MyTrait<'a> {
     type Output;

src/test/ui/nll/ty-outlives/projection-one-region-trait-bound-static-closure.rs

@@ -3,7 +3,7 @@
 // we don't even propagate constraints from the closures to the callers.
 
 // compile-flags:-Zborrowck=mir -Zverbose
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 #![allow(warnings)]
 #![feature(rustc_attrs)]

src/test/ui/nll/ty-outlives/projection-where-clause-env.rs

@@ -4,7 +4,7 @@
 //
 // Regression test for #53121.
 //
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 trait MyTrait<'a> {
     type Output;

src/test/ui/nll/ty-outlives/projection-where-clause-trait.rs

@@ -4,7 +4,7 @@
 // MyTrait<'a>>::Output: 'a` outlives `'a` (because the trait says
 // so).
 //
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 trait MyTrait<'a> {
     type Output: 'a;

src/test/ui/nll/ty-outlives/ty-param-implied-bounds.rs

@@ -1,5 +1,5 @@
 // compile-flags:-Zborrowck=mir -Zverbose
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 // Test that we assume that universal types like `T` outlive the
 // function body.

src/test/ui/nll/user-annotations/downcast-infer.rs

@@ -1,4 +1,4 @@
-// build-pass (FIXME(62277): could be check-pass?)
+// check-pass
 
 // Check that we don't try to downcast `_` when type-checking the annotation.
 fn main() {