diff options
| author | bors <bors@rust-lang.org> | 2024-02-17 05:44:08 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-02-17 05:44:08 +0000 |
| commit | bbfce9196f1c2fb224cbccd7474f8f8623eebbf9 (patch) | |
| tree | 4bdb17aaad138aa83a9464e32a25528bd360f020 /tests/ui/const-generics | |
| parent | d2a4ef39ca8d83bbfc277b98133c11828dd5b16e (diff) | |
| parent | d523cab910d6b89b01dad9b283a67fb2256bc41e (diff) | |
Auto merge of #3303 - rust-lang:rustup-2024-02-17, r=saethlin
Automatic Rustup
Diffstat (limited to 'tests/ui/const-generics')
279 files changed, 337 insertions, 337 deletions
diff --git a/tests/ui/const-generics/adt_const_params/const_param_ty_good.rs b/tests/ui/const-generics/adt_const_params/const_param_ty_good.rs index 100ab332a40..bce24059de8 100644 --- a/tests/ui/const-generics/adt_const_params/const_param_ty_good.rs +++ b/tests/ui/const-generics/adt_const_params/const_param_ty_good.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![allow(incomplete_features)] #![feature(adt_const_params)] use std::marker::ConstParamTy; diff --git a/tests/ui/const-generics/apit-with-const-param.rs b/tests/ui/const-generics/apit-with-const-param.rs index 2a04dc313e9..30c27f3db51 100644 --- a/tests/ui/const-generics/apit-with-const-param.rs +++ b/tests/ui/const-generics/apit-with-const-param.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait Trait {} diff --git a/tests/ui/const-generics/arg-in-pat-1.rs b/tests/ui/const-generics/arg-in-pat-1.rs index 82555084e41..bb11a02de25 100644 --- a/tests/ui/const-generics/arg-in-pat-1.rs +++ b/tests/ui/const-generics/arg-in-pat-1.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass enum ConstGenericEnum<const N: usize> { Foo([i32; N]), Bar, diff --git a/tests/ui/const-generics/arg-in-pat-2.rs b/tests/ui/const-generics/arg-in-pat-2.rs index dc9e722eda8..f40437c9e78 100644 --- a/tests/ui/const-generics/arg-in-pat-2.rs +++ b/tests/ui/const-generics/arg-in-pat-2.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass enum Generic<const N: usize> { Variant, } diff --git a/tests/ui/const-generics/arg-in-pat-3.rs b/tests/ui/const-generics/arg-in-pat-3.rs index 24626a3b68a..28bac3c0168 100644 --- a/tests/ui/const-generics/arg-in-pat-3.rs +++ b/tests/ui/const-generics/arg-in-pat-3.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct Foo<const N: usize>; fn bindingp() { diff --git a/tests/ui/const-generics/array-impls/alloc-traits-impls-length-32.rs b/tests/ui/const-generics/array-impls/alloc-traits-impls-length-32.rs index b4a083636b6..dc28b86ecee 100644 --- a/tests/ui/const-generics/array-impls/alloc-traits-impls-length-32.rs +++ b/tests/ui/const-generics/array-impls/alloc-traits-impls-length-32.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass pub fn yes_vec_partial_eq_array<A, B>() -> impl PartialEq<[B; 32]> where diff --git a/tests/ui/const-generics/array-impls/alloc-traits-impls-length-33.rs b/tests/ui/const-generics/array-impls/alloc-traits-impls-length-33.rs index 35df3278a6e..3c1fd09dc0f 100644 --- a/tests/ui/const-generics/array-impls/alloc-traits-impls-length-33.rs +++ b/tests/ui/const-generics/array-impls/alloc-traits-impls-length-33.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass pub fn yes_vec_partial_eq_array<A, B>() -> impl PartialEq<[B; 33]> where diff --git a/tests/ui/const-generics/array-impls/alloc-types-impls-length-33.rs b/tests/ui/const-generics/array-impls/alloc-types-impls-length-33.rs index 294b405e0ed..ac64ff5d14c 100644 --- a/tests/ui/const-generics/array-impls/alloc-types-impls-length-33.rs +++ b/tests/ui/const-generics/array-impls/alloc-types-impls-length-33.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass use std::{convert::TryFrom, rc::Rc, sync::Arc}; diff --git a/tests/ui/const-generics/array-impls/core-traits-impls-length-32.rs b/tests/ui/const-generics/array-impls/core-traits-impls-length-32.rs index 9998bb84ca0..fa907e3cae7 100644 --- a/tests/ui/const-generics/array-impls/core-traits-impls-length-32.rs +++ b/tests/ui/const-generics/array-impls/core-traits-impls-length-32.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass pub fn yes_as_ref() -> impl AsRef<[u8]> { [0; 32] diff --git a/tests/ui/const-generics/array-impls/core-traits-impls-length-33.rs b/tests/ui/const-generics/array-impls/core-traits-impls-length-33.rs index c609a7c6f92..768eb6308ce 100644 --- a/tests/ui/const-generics/array-impls/core-traits-impls-length-33.rs +++ b/tests/ui/const-generics/array-impls/core-traits-impls-length-33.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass pub fn yes_as_ref() -> impl AsRef<[u8]> { [0; 33] diff --git a/tests/ui/const-generics/array-impls/into-iter-impls-length-32.rs b/tests/ui/const-generics/array-impls/into-iter-impls-length-32.rs index 457e5ae6049..b9e1af3690b 100644 --- a/tests/ui/const-generics/array-impls/into-iter-impls-length-32.rs +++ b/tests/ui/const-generics/array-impls/into-iter-impls-length-32.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(trusted_len)] diff --git a/tests/ui/const-generics/array-impls/into-iter-impls-length-33.rs b/tests/ui/const-generics/array-impls/into-iter-impls-length-33.rs index 4f343f3f97e..17b2a709f85 100644 --- a/tests/ui/const-generics/array-impls/into-iter-impls-length-33.rs +++ b/tests/ui/const-generics/array-impls/into-iter-impls-length-33.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(trusted_len)] diff --git a/tests/ui/const-generics/array-wrapper-struct-ctor.rs b/tests/ui/const-generics/array-wrapper-struct-ctor.rs index a712f691dbe..b94773562e8 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 +//@ run-pass #![allow(dead_code)] diff --git a/tests/ui/const-generics/associated-type-bound.rs b/tests/ui/const-generics/associated-type-bound.rs index 0a57352c10d..7ab9e8c3465 100644 --- a/tests/ui/const-generics/associated-type-bound.rs +++ b/tests/ui/const-generics/associated-type-bound.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait Bar<const N: usize> {} trait Foo<const N: usize> { diff --git a/tests/ui/const-generics/auxiliary/crayte.rs b/tests/ui/const-generics/auxiliary/crayte.rs index 19a8bb0f4eb..d0d44f6f96a 100644 --- a/tests/ui/const-generics/auxiliary/crayte.rs +++ b/tests/ui/const-generics/auxiliary/crayte.rs @@ -1,4 +1,4 @@ -// edition:2018 +//@ edition:2018 pub trait Foo<const N: usize> {} struct Local; diff --git a/tests/ui/const-generics/backcompat/trait-resolution-breakage.rs b/tests/ui/const-generics/backcompat/trait-resolution-breakage.rs index df1c99e8671..2e070329a49 100644 --- a/tests/ui/const-generics/backcompat/trait-resolution-breakage.rs +++ b/tests/ui/const-generics/backcompat/trait-resolution-breakage.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait Trait<T> { const ASSOC_CONST: usize = 0; diff --git a/tests/ui/const-generics/backcompat/unevaluated-consts.rs b/tests/ui/const-generics/backcompat/unevaluated-consts.rs index 3f90d22ae2d..ec9f35e0513 100644 --- a/tests/ui/const-generics/backcompat/unevaluated-consts.rs +++ b/tests/ui/const-generics/backcompat/unevaluated-consts.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // If we allow the parent generics here without using lazy normalization // this results in a cycle error. diff --git a/tests/ui/const-generics/bad-subst-const-kind.rs b/tests/ui/const-generics/bad-subst-const-kind.rs index 376b18c15b8..ca5522a2ddf 100644 --- a/tests/ui/const-generics/bad-subst-const-kind.rs +++ b/tests/ui/const-generics/bad-subst-const-kind.rs @@ -1,4 +1,4 @@ -// incremental +//@ incremental #![crate_type = "lib"] trait Q { diff --git a/tests/ui/const-generics/broken-mir-1.rs b/tests/ui/const-generics/broken-mir-1.rs index 6b6140e3a73..67b18994785 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 +//@ run-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 9d62281178c..46a714f1883 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 +//@ run-pass #![allow(dead_code)] diff --git a/tests/ui/const-generics/cannot-infer-type-for-const-param.rs b/tests/ui/const-generics/cannot-infer-type-for-const-param.rs index a6e767489b7..11ee6af2413 100644 --- a/tests/ui/const-generics/cannot-infer-type-for-const-param.rs +++ b/tests/ui/const-generics/cannot-infer-type-for-const-param.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // This test confirms that the types can be inferred correctly for this example with const // generics. Previously this would ICE, and more recently error. diff --git a/tests/ui/const-generics/coerce_unsized_array.rs b/tests/ui/const-generics/coerce_unsized_array.rs index ffd5eb9d462..baecead30a1 100644 --- a/tests/ui/const-generics/coerce_unsized_array.rs +++ b/tests/ui/const-generics/coerce_unsized_array.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass fn foo<const N: usize>(v: &[u8; N]) -> &[u8] { v } diff --git a/tests/ui/const-generics/concrete-const-as-fn-arg.rs b/tests/ui/const-generics/concrete-const-as-fn-arg.rs index 372f0433e95..5495f663e7f 100644 --- a/tests/ui/const-generics/concrete-const-as-fn-arg.rs +++ b/tests/ui/const-generics/concrete-const-as-fn-arg.rs @@ -1,5 +1,5 @@ // Test that a concrete const type i.e. A<2>, can be used as an argument type in a function -// run-pass +//@ run-pass struct A<const N: usize>; // ok diff --git a/tests/ui/const-generics/concrete-const-impl-method.rs b/tests/ui/const-generics/concrete-const-impl-method.rs index 53c9c0ead0f..baed03d1af4 100644 --- a/tests/ui/const-generics/concrete-const-impl-method.rs +++ b/tests/ui/const-generics/concrete-const-impl-method.rs @@ -1,6 +1,6 @@ // Test that a method/associated non-method within an impl block of a concrete const type i.e. A<2>, // is callable. -// run-pass +//@ run-pass pub struct A<const N: u32>; diff --git a/tests/ui/const-generics/condition-in-trait-const-arg.rs b/tests/ui/const-generics/condition-in-trait-const-arg.rs index 74a663a53ec..d67b7568954 100644 --- a/tests/ui/const-generics/condition-in-trait-const-arg.rs +++ b/tests/ui/const-generics/condition-in-trait-const-arg.rs @@ -1,6 +1,6 @@ // Checks that `impl Trait<{anon_const}> for Type` evaluates successfully. -// check-pass -// revisions: full min +//@ check-pass +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/const-arg-in-const-arg.rs b/tests/ui/const-generics/const-arg-in-const-arg.rs index c1a4c3dc348..6d30943ab7e 100644 --- a/tests/ui/const-generics/const-arg-in-const-arg.rs +++ b/tests/ui/const-generics/const-arg-in-const-arg.rs @@ -1,4 +1,4 @@ -// revisions: min +//@ revisions: min // we use a single revision because this should have a `full` revision // but right now that ICEs and I(@BoxyUwU) could not get stderr normalization to work diff --git a/tests/ui/const-generics/const-arg-in-fn.rs b/tests/ui/const-generics/const-arg-in-fn.rs index 9b225b18d73..8b4ee2a00a5 100644 --- a/tests/ui/const-generics/const-arg-in-fn.rs +++ b/tests/ui/const-generics/const-arg-in-fn.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass fn const_u32_identity<const X: u32>() -> u32 { X } diff --git a/tests/ui/const-generics/const-argument-cross-crate-mismatch.rs b/tests/ui/const-generics/const-argument-cross-crate-mismatch.rs index d863d097d5c..f8af5110d27 100644 --- a/tests/ui/const-generics/const-argument-cross-crate-mismatch.rs +++ b/tests/ui/const-generics/const-argument-cross-crate-mismatch.rs @@ -1,4 +1,4 @@ -// aux-build:const_generic_lib.rs +//@ aux-build:const_generic_lib.rs extern crate const_generic_lib; diff --git a/tests/ui/const-generics/const-argument-cross-crate.rs b/tests/ui/const-generics/const-argument-cross-crate.rs index ff9cebdf7ec..a850bde4fa1 100644 --- a/tests/ui/const-generics/const-argument-cross-crate.rs +++ b/tests/ui/const-generics/const-argument-cross-crate.rs @@ -1,6 +1,6 @@ -// run-pass -// revisions: full min -// aux-build:const_generic_lib.rs +//@ run-pass +//@ revisions: full min +//@ aux-build:const_generic_lib.rs extern crate const_generic_lib; diff --git a/tests/ui/const-generics/const-argument-if-length.rs b/tests/ui/const-generics/const-argument-if-length.rs index c5ff86fbfb7..11f06613022 100644 --- a/tests/ui/const-generics/const-argument-if-length.rs +++ b/tests/ui/const-generics/const-argument-if-length.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/const-argument-non-static-lifetime.rs b/tests/ui/const-generics/const-argument-non-static-lifetime.rs index df2f3b7918c..6267462c518 100644 --- a/tests/ui/const-generics/const-argument-non-static-lifetime.rs +++ b/tests/ui/const-generics/const-argument-non-static-lifetime.rs @@ -1,5 +1,5 @@ -// [full] check-pass -// revisions: full min +//@ [full] check-pass +//@ revisions: full min // regression test for #78180 diff --git a/tests/ui/const-generics/const-fn-with-const-param.rs b/tests/ui/const-generics/const-fn-with-const-param.rs index 161bfaab48a..86a56c1e9e7 100644 --- a/tests/ui/const-generics/const-fn-with-const-param.rs +++ b/tests/ui/const-generics/const-fn-with-const-param.rs @@ -1,5 +1,5 @@ // Checks that `const fn` with const params can be used. -// run-pass +//@ run-pass const fn const_u32_identity<const X: u32>() -> u32 { X diff --git a/tests/ui/const-generics/const-generic-type_name.rs b/tests/ui/const-generics/const-generic-type_name.rs index bb16be9c58c..ff13034f6e5 100644 --- a/tests/ui/const-generics/const-generic-type_name.rs +++ b/tests/ui/const-generics/const-generic-type_name.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #[derive(Debug)] struct S<const N: usize>; diff --git a/tests/ui/const-generics/const-param-after-const-literal-arg.rs b/tests/ui/const-generics/const-param-after-const-literal-arg.rs index d8a0e076e0a..9caeb485695 100644 --- a/tests/ui/const-generics/const-param-after-const-literal-arg.rs +++ b/tests/ui/const-generics/const-param-after-const-literal-arg.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct Foo<const A: usize, const B: usize>; diff --git a/tests/ui/const-generics/const-param-elided-lifetime.rs b/tests/ui/const-generics/const-param-elided-lifetime.rs index 45611d6bf5f..ef1eecb59be 100644 --- a/tests/ui/const-generics/const-param-elided-lifetime.rs +++ b/tests/ui/const-generics/const-param-elided-lifetime.rs @@ -2,7 +2,7 @@ // behaviour of trait bounds where `fn foo<T: Ord<&u8>>() {}` is illegal. Though we could change // elided lifetimes within the type of a const generic parameters to be 'static, like elided // lifetimes within const/static items. -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/const-param-in-async.rs b/tests/ui/const-generics/const-param-in-async.rs index f823431e69b..a6d4b2605cd 100644 --- a/tests/ui/const-generics/const-param-in-async.rs +++ b/tests/ui/const-generics/const-param-in-async.rs @@ -1,5 +1,5 @@ -// edition:2018 -// check-pass +//@ edition:2018 +//@ check-pass async fn foo<const N: usize>(arg: [u8; N]) -> usize { arg.len() } diff --git a/tests/ui/const-generics/const-param-type-depends-on-const-param.rs b/tests/ui/const-generics/const-param-type-depends-on-const-param.rs index 64b2acb0362..ee0e1326baa 100644 --- a/tests/ui/const-generics/const-param-type-depends-on-const-param.rs +++ b/tests/ui/const-generics/const-param-type-depends-on-const-param.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/const-param-type-depends-on-type-param.rs b/tests/ui/const-generics/const-param-type-depends-on-type-param.rs index fc3aa9cbc27..1583fc4ee6c 100644 --- a/tests/ui/const-generics/const-param-type-depends-on-type-param.rs +++ b/tests/ui/const-generics/const-param-type-depends-on-type-param.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/const_trait_fn-issue-88433.rs b/tests/ui/const-generics/const_trait_fn-issue-88433.rs index 88dff919206..89bcd54c461 100644 --- a/tests/ui/const-generics/const_trait_fn-issue-88433.rs +++ b/tests/ui/const-generics/const_trait_fn-issue-88433.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(const_trait_impl, effects)] diff --git a/tests/ui/const-generics/core-types.rs b/tests/ui/const-generics/core-types.rs index 91410c4afdf..03b3bc172b0 100644 --- a/tests/ui/const-generics/core-types.rs +++ b/tests/ui/const-generics/core-types.rs @@ -1,6 +1,6 @@ // Check that all types allowed with `min_const_generics` work. -// run-pass -// revisions: full min +//@ run-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/cross_crate_complex.rs b/tests/ui/const-generics/cross_crate_complex.rs index ebde155f776..d13b69aa0cf 100644 --- a/tests/ui/const-generics/cross_crate_complex.rs +++ b/tests/ui/const-generics/cross_crate_complex.rs @@ -1,6 +1,6 @@ -// aux-build:crayte.rs -// edition:2018 -// run-pass +//@ aux-build:crayte.rs +//@ edition:2018 +//@ run-pass extern crate crayte; use crayte::*; diff --git a/tests/ui/const-generics/defaults/complex-generic-default-expr.rs b/tests/ui/const-generics/defaults/complex-generic-default-expr.rs index 7f50d4c9f29..50fb4eb6e6c 100644 --- a/tests/ui/const-generics/defaults/complex-generic-default-expr.rs +++ b/tests/ui/const-generics/defaults/complex-generic-default-expr.rs @@ -1,5 +1,5 @@ -// revisions: full min -//[full] check-pass +//@ revisions: full min +//@[full] check-pass #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/defaults/complex-unord-param.rs b/tests/ui/const-generics/defaults/complex-unord-param.rs index aebc5975a5a..5783fc41557 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 +//@ run-pass // Checks a complicated usage of unordered params #![allow(dead_code)] diff --git a/tests/ui/const-generics/defaults/const-default.rs b/tests/ui/const-generics/defaults/const-default.rs index 65cb0eb14a3..01054fb755e 100644 --- a/tests/ui/const-generics/defaults/const-default.rs +++ b/tests/ui/const-generics/defaults/const-default.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass pub struct ConstDefault<const N: usize = 3>; impl<const N: usize> ConstDefault<N> { diff --git a/tests/ui/const-generics/defaults/const-param-as-default-value.rs b/tests/ui/const-generics/defaults/const-param-as-default-value.rs index c1c955d8758..b1f6707892c 100644 --- a/tests/ui/const-generics/defaults/const-param-as-default-value.rs +++ b/tests/ui/const-generics/defaults/const-param-as-default-value.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass struct Foo<const N: usize, const M: usize = N>([u8; N], [u8; M]); fn foo<const N: usize>() -> Foo<N> { diff --git a/tests/ui/const-generics/defaults/const-param-in-ty-defaults.rs b/tests/ui/const-generics/defaults/const-param-in-ty-defaults.rs index 5f0cafe2ef1..1720109c6f4 100644 --- a/tests/ui/const-generics/defaults/const-param-in-ty-defaults.rs +++ b/tests/ui/const-generics/defaults/const-param-in-ty-defaults.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass struct Foo<const N: usize, T = [u8; N]>(T); impl<const N: usize> Foo<N> { diff --git a/tests/ui/const-generics/defaults/default-annotation.rs b/tests/ui/const-generics/defaults/default-annotation.rs index 587ad78e298..fbb30d43a67 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 +//@ run-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/default-param-wf-concrete.rs b/tests/ui/const-generics/defaults/default-param-wf-concrete.rs index aa3307b92e4..f181f582332 100644 --- a/tests/ui/const-generics/defaults/default-param-wf-concrete.rs +++ b/tests/ui/const-generics/defaults/default-param-wf-concrete.rs @@ -1,5 +1,5 @@ -// revisions: old next -//[next] compile-flags: -Znext-solver +//@ revisions: old next +//@[next] compile-flags: -Znext-solver struct Foo<const N: u8 = { 255 + 1 }>; //~^ ERROR evaluation of constant value failed diff --git a/tests/ui/const-generics/defaults/external.rs b/tests/ui/const-generics/defaults/external.rs index 25ec523cb54..241b5205f10 100644 --- a/tests/ui/const-generics/defaults/external.rs +++ b/tests/ui/const-generics/defaults/external.rs @@ -1,5 +1,5 @@ -// aux-build:const_defaulty.rs -// check-pass +//@ aux-build:const_defaulty.rs +//@ check-pass extern crate const_defaulty; use const_defaulty::Defaulted; diff --git a/tests/ui/const-generics/defaults/pretty-printing-ast.rs b/tests/ui/const-generics/defaults/pretty-printing-ast.rs index e202d4e86a2..20bf900d9f3 100644 --- a/tests/ui/const-generics/defaults/pretty-printing-ast.rs +++ b/tests/ui/const-generics/defaults/pretty-printing-ast.rs @@ -1,6 +1,6 @@ // Test the AST pretty printer correctly handles default values for const generics -// check-pass -// compile-flags: -Z unpretty=expanded +//@ check-pass +//@ compile-flags: -Z unpretty=expanded #![crate_type = "lib"] diff --git a/tests/ui/const-generics/defaults/pretty-printing-ast.stdout b/tests/ui/const-generics/defaults/pretty-printing-ast.stdout index 121138605f1..f1cd1451700 100644 --- a/tests/ui/const-generics/defaults/pretty-printing-ast.stdout +++ b/tests/ui/const-generics/defaults/pretty-printing-ast.stdout @@ -1,8 +1,8 @@ #![feature(prelude_import)] #![no_std] // Test the AST pretty printer correctly handles default values for const generics -// check-pass -// compile-flags: -Z unpretty=expanded +//@ check-pass +//@ compile-flags: -Z unpretty=expanded #![crate_type = "lib"] #[prelude_import] 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 118da2723ac..c23187598bc 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 +//@ run-pass #[repr(C)] pub struct Loaf<T: Sized, const N: usize = 1> { diff --git a/tests/ui/const-generics/defaults/rp_impl_trait.rs b/tests/ui/const-generics/defaults/rp_impl_trait.rs index dde8eea4525..406efbd0f88 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 +//@ run-pass struct Uwu<const N: u32 = 1, const M: u32 = N>; trait Trait {} diff --git a/tests/ui/const-generics/defaults/simple-defaults.rs b/tests/ui/const-generics/defaults/simple-defaults.rs index 6a782d2238c..ecc8cad2684 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 +//@ run-pass // Checks that type param defaults are allowed after const params. #![allow(dead_code)] diff --git a/tests/ui/const-generics/defaults/trait_object_lt_defaults.rs b/tests/ui/const-generics/defaults/trait_object_lt_defaults.rs index a1828727ecd..39dd6cb031f 100644 --- a/tests/ui/const-generics/defaults/trait_object_lt_defaults.rs +++ b/tests/ui/const-generics/defaults/trait_object_lt_defaults.rs @@ -1,5 +1,5 @@ -// aux-build:trait_object_lt_defaults_lib.rs -// run-pass +//@ aux-build:trait_object_lt_defaults_lib.rs +//@ run-pass #![allow(dead_code)] extern crate trait_object_lt_defaults_lib; diff --git a/tests/ui/const-generics/defaults/trait_objects.rs b/tests/ui/const-generics/defaults/trait_objects.rs index 750e40313fb..d22eb34b7a2 100644 --- a/tests/ui/const-generics/defaults/trait_objects.rs +++ b/tests/ui/const-generics/defaults/trait_objects.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass trait Trait<const N: u8 = 12> { fn uwu(&self) -> u8 { N diff --git a/tests/ui/const-generics/defaults/type-default-const-param-name.rs b/tests/ui/const-generics/defaults/type-default-const-param-name.rs index 405664dedc7..191b752066a 100644 --- a/tests/ui/const-generics/defaults/type-default-const-param-name.rs +++ b/tests/ui/const-generics/defaults/type-default-const-param-name.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct N; struct Foo<const N: usize = 1, T = N>(T); diff --git a/tests/ui/const-generics/deref-into-array-generic.rs b/tests/ui/const-generics/deref-into-array-generic.rs index 7d75af12bdf..590f9d17e34 100644 --- a/tests/ui/const-generics/deref-into-array-generic.rs +++ b/tests/ui/const-generics/deref-into-array-generic.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct Test<T, const N: usize>([T; N]); diff --git a/tests/ui/const-generics/different_generic_args.rs b/tests/ui/const-generics/different_generic_args.rs index 9ee0e0747c4..045f0eaf663 100644 --- a/tests/ui/const-generics/different_generic_args.rs +++ b/tests/ui/const-generics/different_generic_args.rs @@ -1,5 +1,5 @@ // Check that types with different const arguments are different. -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/dyn-supertraits.rs b/tests/ui/const-generics/dyn-supertraits.rs index bb492452982..9f1705cfa9b 100644 --- a/tests/ui/const-generics/dyn-supertraits.rs +++ b/tests/ui/const-generics/dyn-supertraits.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass trait Foo<const N: usize> { fn myfun(&self) -> usize; diff --git a/tests/ui/const-generics/early/const-param-hygiene.rs b/tests/ui/const-generics/early/const-param-hygiene.rs index fd4e5b409ee..76a4b8372c1 100644 --- a/tests/ui/const-generics/early/const-param-hygiene.rs +++ b/tests/ui/const-generics/early/const-param-hygiene.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass macro_rules! bar { ($($t:tt)*) => { impl<const N: usize> $($t)* }; diff --git a/tests/ui/const-generics/enum-variants.rs b/tests/ui/const-generics/enum-variants.rs index 5c6c4a8efac..648c7dcbdce 100644 --- a/tests/ui/const-generics/enum-variants.rs +++ b/tests/ui/const-generics/enum-variants.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass enum Foo<const N: usize> { Variant, Variant2(), diff --git a/tests/ui/const-generics/expose-default-substs-param-env.rs b/tests/ui/const-generics/expose-default-substs-param-env.rs index e40c93116af..4a92de2573d 100644 --- a/tests/ui/const-generics/expose-default-substs-param-env.rs +++ b/tests/ui/const-generics/expose-default-substs-param-env.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(unused_braces, incomplete_features)] diff --git a/tests/ui/const-generics/float-generic.rs b/tests/ui/const-generics/float-generic.rs index b72059b5b1c..aaf63a93d70 100644 --- a/tests/ui/const-generics/float-generic.rs +++ b/tests/ui/const-generics/float-generic.rs @@ -1,4 +1,4 @@ -// revisions: simple adt_const_params +//@ revisions: simple adt_const_params #![cfg_attr(adt_const_params, feature(adt_const_params))] #![cfg_attr(adt_const_params, allow(incomplete_features))] diff --git a/tests/ui/const-generics/fn-const-param-call.rs b/tests/ui/const-generics/fn-const-param-call.rs index dc516fb71c4..ce780143178 100644 --- a/tests/ui/const-generics/fn-const-param-call.rs +++ b/tests/ui/const-generics/fn-const-param-call.rs @@ -1,5 +1,5 @@ // Check that functions cannot be used as const parameters. -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/fn-const-param-infer.rs b/tests/ui/const-generics/fn-const-param-infer.rs index d80e18067e2..ed0bb9f7217 100644 --- a/tests/ui/const-generics/fn-const-param-infer.rs +++ b/tests/ui/const-generics/fn-const-param-infer.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/fn_with_two_same_const_inputs.rs b/tests/ui/const-generics/fn_with_two_same_const_inputs.rs index f0ce093e07a..d8d97cd098b 100644 --- a/tests/ui/const-generics/fn_with_two_same_const_inputs.rs +++ b/tests/ui/const-generics/fn_with_two_same_const_inputs.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_arg_infer/array-repeat-expr.rs b/tests/ui/const-generics/generic_arg_infer/array-repeat-expr.rs index d3e53d7a892..34091badfa7 100644 --- a/tests/ui/const-generics/generic_arg_infer/array-repeat-expr.rs +++ b/tests/ui/const-generics/generic_arg_infer/array-repeat-expr.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass // To avoid having to `or` gate `_` as an expr. #![feature(generic_arg_infer)] 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 251160a0f5f..613ea9da99d 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 +//@ run-pass #![feature(generic_arg_infer)] // test that we dont use defaults to aide in type inference diff --git a/tests/ui/const-generics/generic_arg_infer/infer_arg_and_const_arg.rs b/tests/ui/const-generics/generic_arg_infer/infer_arg_and_const_arg.rs index 23c8d753752..35b3fe4f435 100644 --- a/tests/ui/const-generics/generic_arg_infer/infer_arg_and_const_arg.rs +++ b/tests/ui/const-generics/generic_arg_infer/infer_arg_and_const_arg.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_arg_infer)] struct Foo<const N: bool, const M: u8>; diff --git a/tests/ui/const-generics/generic_const_exprs/abstract-const-as-cast-1.rs b/tests/ui/const-generics/generic_const_exprs/abstract-const-as-cast-1.rs index 06f00de13a3..ff578242800 100644 --- a/tests/ui/const-generics/generic_const_exprs/abstract-const-as-cast-1.rs +++ b/tests/ui/const-generics/generic_const_exprs/abstract-const-as-cast-1.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/abstract-const-as-cast-4.rs b/tests/ui/const-generics/generic_const_exprs/abstract-const-as-cast-4.rs index 184263f899a..8df5da48346 100644 --- a/tests/ui/const-generics/generic_const_exprs/abstract-const-as-cast-4.rs +++ b/tests/ui/const-generics/generic_const_exprs/abstract-const-as-cast-4.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/array-size-in-generic-struct-param.rs b/tests/ui/const-generics/generic_const_exprs/array-size-in-generic-struct-param.rs index 33ca6dcb304..fc56742dab6 100644 --- a/tests/ui/const-generics/generic_const_exprs/array-size-in-generic-struct-param.rs +++ b/tests/ui/const-generics/generic_const_exprs/array-size-in-generic-struct-param.rs @@ -1,5 +1,5 @@ // Tests that array sizes that depend on const-params are checked using `ConstEvaluatable`. -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs, adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/const_equate_assoc_consts.rs b/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/const_equate_assoc_consts.rs index e8f89cb1aa2..108a630ec70 100644 --- a/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/const_equate_assoc_consts.rs +++ b/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/const_equate_assoc_consts.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/dropck_unifies_assoc_consts.rs b/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/dropck_unifies_assoc_consts.rs index 274caa1e993..84a1a616192 100644 --- a/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/dropck_unifies_assoc_consts.rs +++ b/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/dropck_unifies_assoc_consts.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/unifies_evaluatable.rs b/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/unifies_evaluatable.rs index 6597b9f2b3f..c4d96a36211 100644 --- a/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/unifies_evaluatable.rs +++ b/tests/ui/const-generics/generic_const_exprs/assoc_const_unification/unifies_evaluatable.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/associated-const.rs b/tests/ui/const-generics/generic_const_exprs/associated-const.rs index a6777632254..747e4eb917f 100644 --- a/tests/ui/const-generics/generic_const_exprs/associated-const.rs +++ b/tests/ui/const-generics/generic_const_exprs/associated-const.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct Foo<T>(T); impl<T> Foo<T> { const VALUE: usize = std::mem::size_of::<T>(); 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 3bc72fe7faa..5d2198f50ad 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 +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/const_eval_resolve_canonical.rs b/tests/ui/const-generics/generic_const_exprs/const_eval_resolve_canonical.rs index 5874625adff..bfe31b66e5b 100644 --- a/tests/ui/const-generics/generic_const_exprs/const_eval_resolve_canonical.rs +++ b/tests/ui/const-generics/generic_const_exprs/const_eval_resolve_canonical.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/const_kind_expr/relate_ty_with_infer_1.rs b/tests/ui/const-generics/generic_const_exprs/const_kind_expr/relate_ty_with_infer_1.rs index 1e248411830..0d3158c242a 100644 --- a/tests/ui/const-generics/generic_const_exprs/const_kind_expr/relate_ty_with_infer_1.rs +++ b/tests/ui/const-generics/generic_const_exprs/const_kind_expr/relate_ty_with_infer_1.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/const_kind_expr/relate_ty_with_infer_2.rs b/tests/ui/const-generics/generic_const_exprs/const_kind_expr/relate_ty_with_infer_2.rs index 91a8a7c4a01..4333ec9f552 100644 --- a/tests/ui/const-generics/generic_const_exprs/const_kind_expr/relate_ty_with_infer_2.rs +++ b/tests/ui/const-generics/generic_const_exprs/const_kind_expr/relate_ty_with_infer_2.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(inline_const, generic_const_exprs)] #![allow(incomplete_features)] use std::marker::PhantomData; diff --git a/tests/ui/const-generics/generic_const_exprs/cross_crate.rs b/tests/ui/const-generics/generic_const_exprs/cross_crate.rs index dfc69e0b068..18058b8b83d 100644 --- a/tests/ui/const-generics/generic_const_exprs/cross_crate.rs +++ b/tests/ui/const-generics/generic_const_exprs/cross_crate.rs @@ -1,5 +1,5 @@ -// aux-build:const_evaluatable_lib.rs -// run-pass +//@ aux-build:const_evaluatable_lib.rs +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] extern crate const_evaluatable_lib; diff --git a/tests/ui/const-generics/generic_const_exprs/cross_crate_predicate.rs b/tests/ui/const-generics/generic_const_exprs/cross_crate_predicate.rs index b08fffd6922..304c176e85a 100644 --- a/tests/ui/const-generics/generic_const_exprs/cross_crate_predicate.rs +++ b/tests/ui/const-generics/generic_const_exprs/cross_crate_predicate.rs @@ -1,4 +1,4 @@ -// aux-build:const_evaluatable_lib.rs +//@ aux-build:const_evaluatable_lib.rs #![feature(generic_const_exprs)] #![allow(incomplete_features)] extern crate const_evaluatable_lib; diff --git a/tests/ui/const-generics/generic_const_exprs/dependence_lint.rs b/tests/ui/const-generics/generic_const_exprs/dependence_lint.rs index b715e07f8fa..107466cd1d9 100644 --- a/tests/ui/const-generics/generic_const_exprs/dependence_lint.rs +++ b/tests/ui/const-generics/generic_const_exprs/dependence_lint.rs @@ -1,5 +1,5 @@ -// revisions: full gce -// compile-flags: -Zdeduplicate-diagnostics=yes +//@ revisions: full gce +//@ compile-flags: -Zdeduplicate-diagnostics=yes #![cfg_attr(gce, 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 098fa9e0447..b6b5750a48f 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 +//@ run-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 3543960c3eb..5290d24fc2d 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 +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/drop_impl.rs b/tests/ui/const-generics/generic_const_exprs/drop_impl.rs index 077f77aa0f4..6ff158797ad 100644 --- a/tests/ui/const-generics/generic_const_exprs/drop_impl.rs +++ b/tests/ui/const-generics/generic_const_exprs/drop_impl.rs @@ -1,4 +1,4 @@ -//check-pass +//@check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/elaborate-trait-pred.rs b/tests/ui/const-generics/generic_const_exprs/elaborate-trait-pred.rs index e4111157ecd..4fe7f059532 100644 --- a/tests/ui/const-generics/generic_const_exprs/elaborate-trait-pred.rs +++ b/tests/ui/const-generics/generic_const_exprs/elaborate-trait-pred.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass // Test that we use the elaborated predicates from traits // to satisfy const evaluatable predicates. #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/eval-try-unify.rs b/tests/ui/const-generics/generic_const_exprs/eval-try-unify.rs index c59d62e576d..b61d2dc1945 100644 --- a/tests/ui/const-generics/generic_const_exprs/eval-try-unify.rs +++ b/tests/ui/const-generics/generic_const_exprs/eval-try-unify.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(generic_const_exprs)] //~^ WARNING the feature `generic_const_exprs` is incomplete diff --git a/tests/ui/const-generics/generic_const_exprs/evaluated-to-ambig.rs b/tests/ui/const-generics/generic_const_exprs/evaluated-to-ambig.rs index 340e35e1c65..c4523e8a794 100644 --- a/tests/ui/const-generics/generic_const_exprs/evaluated-to-ambig.rs +++ b/tests/ui/const-generics/generic_const_exprs/evaluated-to-ambig.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // We previously always returned ambiguity when equating generic consts, even if they // only contain generic parameters. This is incorrect as trying to unify `N > 1` with `M > 1` diff --git a/tests/ui/const-generics/generic_const_exprs/fn_call.rs b/tests/ui/const-generics/generic_const_exprs/fn_call.rs index cbe4277df56..1a753f1566b 100644 --- a/tests/ui/const-generics/generic_const_exprs/fn_call.rs +++ b/tests/ui/const-generics/generic_const_exprs/fn_call.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-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 28de4f86467..74942041f68 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 +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/function-call.rs b/tests/ui/const-generics/generic_const_exprs/function-call.rs index 3c866333d60..d754fcdaddc 100644 --- a/tests/ui/const-generics/generic_const_exprs/function-call.rs +++ b/tests/ui/const-generics/generic_const_exprs/function-call.rs @@ -1,5 +1,5 @@ -// check-pass -// compile-flags: -Zdeduplicate-diagnostics=yes +//@ check-pass +//@ compile-flags: -Zdeduplicate-diagnostics=yes const fn foo<T>() -> usize { // We might instead branch on `std::mem::size_of::<*mut T>() < 8` here, diff --git a/tests/ui/const-generics/generic_const_exprs/impl-bounds.rs b/tests/ui/const-generics/generic_const_exprs/impl-bounds.rs index 7120d6ee251..d0c24579c3a 100644 --- a/tests/ui/const-generics/generic_const_exprs/impl-bounds.rs +++ b/tests/ui/const-generics/generic_const_exprs/impl-bounds.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/infer-too-generic.rs b/tests/ui/const-generics/generic_const_exprs/infer-too-generic.rs index b8058c252e7..4ebb07e32f1 100644 --- a/tests/ui/const-generics/generic_const_exprs/infer-too-generic.rs +++ b/tests/ui/const-generics/generic_const_exprs/infer-too-generic.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/inline-const-in-const-generic-defaults.rs b/tests/ui/const-generics/generic_const_exprs/inline-const-in-const-generic-defaults.rs index d81cba62754..3bc02f4c6bb 100644 --- a/tests/ui/const-generics/generic_const_exprs/inline-const-in-const-generic-defaults.rs +++ b/tests/ui/const-generics/generic_const_exprs/inline-const-in-const-generic-defaults.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![feature(inline_const)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-100217.rs b/tests/ui/const-generics/generic_const_exprs/issue-100217.rs index acdc348a385..82a79b8d930 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-100217.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-100217.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-100360.rs b/tests/ui/const-generics/generic_const_exprs/issue-100360.rs index 5572f1f88df..b7e677a4a1e 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-100360.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-100360.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // (this requires debug assertions) #![feature(adt_const_params)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-102074.rs b/tests/ui/const-generics/generic_const_exprs/issue-102074.rs index 66d15cf1215..a8d2b7d6e49 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-102074.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-102074.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // Checks that the NoopMethodCall lint doesn't call Instance::resolve on unresolved consts #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-62504.rs b/tests/ui/const-generics/generic_const_exprs/issue-62504.rs index 6f40a9abfa7..b6a6a277843 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-62504.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-62504.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![allow(incomplete_features)] #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-72787.rs b/tests/ui/const-generics/generic_const_exprs/issue-72787.rs index 657fec2e9cb..c3208786708 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-72787.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-72787.rs @@ -1,5 +1,5 @@ -// [full] check-pass -// revisions: full min +//@ [full] check-pass +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-72819-generic-in-const-eval.rs b/tests/ui/const-generics/generic_const_exprs/issue-72819-generic-in-const-eval.rs index 7a5aa9e47d4..c3c598ce778 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-72819-generic-in-const-eval.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-72819-generic-in-const-eval.rs @@ -1,6 +1,6 @@ // Regression test for #72819: ICE due to failure in resolving the const generic in `Arr`'s type // bounds. -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-73298.rs b/tests/ui/const-generics/generic_const_exprs/issue-73298.rs index 3c59e1b790a..3e4dd2fd279 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-73298.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-73298.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] 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 d1ab1be0473..61550c03ec6 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 +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-74634.rs b/tests/ui/const-generics/generic_const_exprs/issue-74634.rs index cd1f7a9da68..859b4c8b1af 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-74634.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-74634.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-80561-incorrect-param-env.rs b/tests/ui/const-generics/generic_const_exprs/issue-80561-incorrect-param-env.rs index 77d3c98dab9..fba82c03f11 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-80561-incorrect-param-env.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-80561-incorrect-param-env.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-80742.rs b/tests/ui/const-generics/generic_const_exprs/issue-80742.rs index 5f612780f39..ddb7b5f852e 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-80742.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-80742.rs @@ -1,10 +1,10 @@ -// check-fail -// known-bug: #97477 -// failure-status: 101 -// normalize-stderr-test "note: .*\n\n" -> "" -// normalize-stderr-test "thread 'rustc' panicked.*\n" -> "" -// normalize-stderr-test "(error: internal compiler error: [^:]+):\d+:\d+: " -> "$1:LL:CC: " -// rustc-env:RUST_BACKTRACE=0 +//@ check-fail +//@ known-bug: #97477 +//@ failure-status: 101 +//@ normalize-stderr-test "note: .*\n\n" -> "" +//@ normalize-stderr-test "thread 'rustc' panicked.*\n" -> "" +//@ normalize-stderr-test "(error: internal compiler error: [^:]+):\d+:\d+: " -> "$1:LL:CC: " +//@ rustc-env:RUST_BACKTRACE=0 // This test used to cause an ICE in rustc_mir::interpret::step::eval_rvalue_into_place diff --git a/tests/ui/const-generics/generic_const_exprs/issue-82268.rs b/tests/ui/const-generics/generic_const_exprs/issue-82268.rs index d08fc5beb75..8bd7790da2f 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-82268.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-82268.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-83972.rs b/tests/ui/const-generics/generic_const_exprs/issue-83972.rs index 0063719b852..cc1e35cbd18 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-83972.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-83972.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-84408.rs b/tests/ui/const-generics/generic_const_exprs/issue-84408.rs index fb2e5590d21..0b2a3a5b4ef 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-84408.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-84408.rs @@ -1,5 +1,5 @@ // Regression test for #84408. -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-84669.rs b/tests/ui/const-generics/generic_const_exprs/issue-84669.rs index 3933ff20a49..4c56db72898 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-84669.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-84669.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-86710.rs b/tests/ui/const-generics/generic_const_exprs/issue-86710.rs index 281b12458e3..9e6c3a4a40c 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-86710.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-86710.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-89851.rs b/tests/ui/const-generics/generic_const_exprs/issue-89851.rs index cde849d9017..78189c5225c 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-89851.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-89851.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // (this requires debug assertions) #![feature(adt_const_params)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-90847.rs b/tests/ui/const-generics/generic_const_exprs/issue-90847.rs index ebc6fe14123..a5d7acb2c8f 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-90847.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-90847.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-94287.rs b/tests/ui/const-generics/generic_const_exprs/issue-94287.rs index 643126a4640..4b2fa1dac9b 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-94287.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-94287.rs @@ -1,5 +1,5 @@ -// aux-build:issue-94287-aux.rs -// build-fail +//@ aux-build:issue-94287-aux.rs +//@ build-fail extern crate issue_94287_aux; diff --git a/tests/ui/const-generics/generic_const_exprs/issue-94293.rs b/tests/ui/const-generics/generic_const_exprs/issue-94293.rs index 713c5d89a93..cf986f1d09d 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-94293.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-94293.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-96699.rs b/tests/ui/const-generics/generic_const_exprs/issue-96699.rs index 83f329d2a2d..6afc2b7fb03 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-96699.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-96699.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![allow(dead_code, incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-97047-ice-1.rs b/tests/ui/const-generics/generic_const_exprs/issue-97047-ice-1.rs index 67e30232e2f..5a6565fe2f1 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-97047-ice-1.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-97047-ice-1.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(adt_const_params, generic_const_exprs)] //~^ WARN the feature `adt_const_params` is incomplete and may not be safe to use and/or cause compiler crashes [incomplete_features] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-97047-ice-2.rs b/tests/ui/const-generics/generic_const_exprs/issue-97047-ice-2.rs index 00568a08944..1338f40208c 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-97047-ice-2.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-97047-ice-2.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(adt_const_params, generic_const_exprs)] //~^ WARN the feature `adt_const_params` is incomplete and may not be safe to use and/or cause compiler crashes [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 f797beda8e6..a6b5eb15d6c 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 +//@ edition:2018 +//@ run-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/issue-99705.rs b/tests/ui/const-generics/generic_const_exprs/issue-99705.rs index 75b57b621bb..82f7cc1045c 100644 --- a/tests/ui/const-generics/generic_const_exprs/issue-99705.rs +++ b/tests/ui/const-generics/generic_const_exprs/issue-99705.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![crate_type = "lib"] #![feature(generic_const_exprs)] #![allow(incomplete_features)] 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 2e9af1bf4f0..07dfe7d9687 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 +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/nested-abstract-consts-1.rs b/tests/ui/const-generics/generic_const_exprs/nested-abstract-consts-1.rs index 7e5022817e4..18a06179dde 100644 --- a/tests/ui/const-generics/generic_const_exprs/nested-abstract-consts-1.rs +++ b/tests/ui/const-generics/generic_const_exprs/nested-abstract-consts-1.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/nested-abstract-consts-2.rs b/tests/ui/const-generics/generic_const_exprs/nested-abstract-consts-2.rs index 769e3ae6895..d2269bf39fe 100644 --- a/tests/ui/const-generics/generic_const_exprs/nested-abstract-consts-2.rs +++ b/tests/ui/const-generics/generic_const_exprs/nested-abstract-consts-2.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/nested_uneval_unification-1.rs b/tests/ui/const-generics/generic_const_exprs/nested_uneval_unification-1.rs index 316887e5e7f..52d1f27459c 100644 --- a/tests/ui/const-generics/generic_const_exprs/nested_uneval_unification-1.rs +++ b/tests/ui/const-generics/generic_const_exprs/nested_uneval_unification-1.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/nested_uneval_unification-2.rs b/tests/ui/const-generics/generic_const_exprs/nested_uneval_unification-2.rs index 18a99398622..65a634980c0 100644 --- a/tests/ui/const-generics/generic_const_exprs/nested_uneval_unification-2.rs +++ b/tests/ui/const-generics/generic_const_exprs/nested_uneval_unification-2.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features, unused_parens, unused_braces)] diff --git a/tests/ui/const-generics/generic_const_exprs/no_dependence.rs b/tests/ui/const-generics/generic_const_exprs/no_dependence.rs index db8dc6ed443..ea27e5ef3a8 100644 --- a/tests/ui/const-generics/generic_const_exprs/no_dependence.rs +++ b/tests/ui/const-generics/generic_const_exprs/no_dependence.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/non_local_anon_const_diagnostics.rs b/tests/ui/const-generics/generic_const_exprs/non_local_anon_const_diagnostics.rs index 1254b4435f7..12c1df0e337 100644 --- a/tests/ui/const-generics/generic_const_exprs/non_local_anon_const_diagnostics.rs +++ b/tests/ui/const-generics/generic_const_exprs/non_local_anon_const_diagnostics.rs @@ -1,4 +1,4 @@ -// aux-build:anon_const_non_local.rs +//@ aux-build:anon_const_non_local.rs #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/normed_to_param_is_evaluatable.rs b/tests/ui/const-generics/generic_const_exprs/normed_to_param_is_evaluatable.rs index b37b354ae21..e7791ebae86 100644 --- a/tests/ui/const-generics/generic_const_exprs/normed_to_param_is_evaluatable.rs +++ b/tests/ui/const-generics/generic_const_exprs/normed_to_param_is_evaluatable.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features, unused_braces)] diff --git a/tests/ui/const-generics/generic_const_exprs/object-safety-ok.rs b/tests/ui/const-generics/generic_const_exprs/object-safety-ok.rs index f4c89f6235a..6220d681fe1 100644 --- a/tests/ui/const-generics/generic_const_exprs/object-safety-ok.rs +++ b/tests/ui/const-generics/generic_const_exprs/object-safety-ok.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/single-satisfied-ConstEvaluatable-in-probe.rs b/tests/ui/const-generics/generic_const_exprs/single-satisfied-ConstEvaluatable-in-probe.rs index 0ba0c5a72ef..4485ea14712 100644 --- a/tests/ui/const-generics/generic_const_exprs/single-satisfied-ConstEvaluatable-in-probe.rs +++ b/tests/ui/const-generics/generic_const_exprs/single-satisfied-ConstEvaluatable-in-probe.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/generic_const_exprs/subexprs_are_const_evalutable.rs b/tests/ui/const-generics/generic_const_exprs/subexprs_are_const_evalutable.rs index d6574a3aa2f..dc883eb2c9b 100644 --- a/tests/ui/const-generics/generic_const_exprs/subexprs_are_const_evalutable.rs +++ b/tests/ui/const-generics/generic_const_exprs/subexprs_are_const_evalutable.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/ty-alias-substitution.rs b/tests/ui/const-generics/generic_const_exprs/ty-alias-substitution.rs index d058b363850..dff489d466d 100644 --- a/tests/ui/const-generics/generic_const_exprs/ty-alias-substitution.rs +++ b/tests/ui/const-generics/generic_const_exprs/ty-alias-substitution.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // Test that we correctly substitute generic arguments for type aliases. #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.rs b/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.rs index b22cab7c7ff..81be8d5c7d7 100644 --- a/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.rs +++ b/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.rs @@ -1,5 +1,5 @@ -// known-bug: #110395 -// known-bug: #97156 +//@ known-bug: #110395 +//@ known-bug: #97156 #![feature(const_type_id, const_trait_impl, generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/unify-op-with-fn-call.rs b/tests/ui/const-generics/generic_const_exprs/unify-op-with-fn-call.rs index ae9207cf855..2f903ea419e 100644 --- a/tests/ui/const-generics/generic_const_exprs/unify-op-with-fn-call.rs +++ b/tests/ui/const-generics/generic_const_exprs/unify-op-with-fn-call.rs @@ -1,4 +1,4 @@ -// known-bug: #110395 +//@ known-bug: #110395 #![feature(generic_const_exprs, adt_const_params, const_trait_impl)] #![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 c12fef083cc..c8eb3deba60 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 +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/generic_const_exprs/unused-complex-default-expr.rs b/tests/ui/const-generics/generic_const_exprs/unused-complex-default-expr.rs index 9580f8a7fbc..aff9826079d 100644 --- a/tests/ui/const-generics/generic_const_exprs/unused-complex-default-expr.rs +++ b/tests/ui/const-generics/generic_const_exprs/unused-complex-default-expr.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] struct Foo<const N: usize, const M: usize = { N + 1 }>; diff --git a/tests/ui/const-generics/ice-68875.rs b/tests/ui/const-generics/ice-68875.rs index 2ef7cfdbe27..cc9546be2c9 100644 --- a/tests/ui/const-generics/ice-68875.rs +++ b/tests/ui/const-generics/ice-68875.rs @@ -1,4 +1,4 @@ -// check-fail +//@ check-fail struct DataWrapper<'a> { data: &'a [u8; Self::SIZE], //~ ERROR generic `Self` types are currently not permitted in anonymous constants diff --git a/tests/ui/const-generics/impl-const-generic-struct.rs b/tests/ui/const-generics/impl-const-generic-struct.rs index 7eb2c6a51fc..4f82cc758d9 100644 --- a/tests/ui/const-generics/impl-const-generic-struct.rs +++ b/tests/ui/const-generics/impl-const-generic-struct.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass struct S<const X: u32>; impl<const X: u32> S<X> { diff --git a/tests/ui/const-generics/infer_arg_from_pat.rs b/tests/ui/const-generics/infer_arg_from_pat.rs index 10317a1b98f..1740bcca4ce 100644 --- a/tests/ui/const-generics/infer_arg_from_pat.rs +++ b/tests/ui/const-generics/infer_arg_from_pat.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass // // see issue #70529 diff --git a/tests/ui/const-generics/infer_arr_len_from_pat.rs b/tests/ui/const-generics/infer_arr_len_from_pat.rs index 40f6f5b8d55..0ad01d6144d 100644 --- a/tests/ui/const-generics/infer_arr_len_from_pat.rs +++ b/tests/ui/const-generics/infer_arr_len_from_pat.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // // see issue #70529 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 b4f44dac62d..a5f515f5ea2 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 +//@ run-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 d6d0a80ab11..3613deb9cd7 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 +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/integer-literal-generic-arg-in-where-clause.rs b/tests/ui/const-generics/integer-literal-generic-arg-in-where-clause.rs index 2b8731ba709..0bcffcafb4f 100644 --- a/tests/ui/const-generics/integer-literal-generic-arg-in-where-clause.rs +++ b/tests/ui/const-generics/integer-literal-generic-arg-in-where-clause.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass fn takes_closure_of_array_3<F>(f: F) where F: Fn([i32; 3]) { f([1, 2, 3]); diff --git a/tests/ui/const-generics/intrinsics-type_name-as-const-argument.rs b/tests/ui/const-generics/intrinsics-type_name-as-const-argument.rs index 147a00cb26b..02e6d27a27e 100644 --- a/tests/ui/const-generics/intrinsics-type_name-as-const-argument.rs +++ b/tests/ui/const-generics/intrinsics-type_name-as-const-argument.rs @@ -1,5 +1,5 @@ -// [full] check-pass -// revisions: full min +//@ [full] check-pass +//@ revisions: full min #![cfg_attr(full, allow(incomplete_features))] #![cfg_attr(full, feature(adt_const_params, generic_const_exprs))] diff --git a/tests/ui/const-generics/issue-102124.rs b/tests/ui/const-generics/issue-102124.rs index a28f198e9e0..7e59141eae3 100644 --- a/tests/ui/const-generics/issue-102124.rs +++ b/tests/ui/const-generics/issue-102124.rs @@ -1,5 +1,5 @@ -// run-pass -// compile-flags: -Zmir-opt-level=3 +//@ run-pass +//@ compile-flags: -Zmir-opt-level=3 // regression test for #102124 diff --git a/tests/ui/const-generics/issue-105689.rs b/tests/ui/const-generics/issue-105689.rs index 4237b3cad8e..6c9215d78e7 100644 --- a/tests/ui/const-generics/issue-105689.rs +++ b/tests/ui/const-generics/issue-105689.rs @@ -1,5 +1,5 @@ -// check-pass -// edition:2021 +//@ check-pass +//@ edition:2021 #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issue-106419-struct-with-multiple-const-params.rs b/tests/ui/const-generics/issue-106419-struct-with-multiple-const-params.rs index 8363e5af4b6..cb0cca544a4 100644 --- a/tests/ui/const-generics/issue-106419-struct-with-multiple-const-params.rs +++ b/tests/ui/const-generics/issue-106419-struct-with-multiple-const-params.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issue-46511.rs b/tests/ui/const-generics/issue-46511.rs index 78baba818ad..a015b7a965e 100644 --- a/tests/ui/const-generics/issue-46511.rs +++ b/tests/ui/const-generics/issue-46511.rs @@ -1,4 +1,4 @@ -// check-fail +//@ check-fail struct Foo<'a> //~ ERROR parameter `'a` is never used [E0392] { diff --git a/tests/ui/const-generics/issue-70408.rs b/tests/ui/const-generics/issue-70408.rs index f7557cb492c..e74bcf945a5 100644 --- a/tests/ui/const-generics/issue-70408.rs +++ b/tests/ui/const-generics/issue-70408.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(adt_const_params)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issue-97007.rs b/tests/ui/const-generics/issue-97007.rs index 7036834c4b1..a099c423e6d 100644 --- a/tests/ui/const-generics/issue-97007.rs +++ b/tests/ui/const-generics/issue-97007.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(adt_const_params, 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 f7d23949943..65c8cfe8103 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 +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] #![allow(dead_code)] diff --git a/tests/ui/const-generics/issues/issue-105821.rs b/tests/ui/const-generics/issues/issue-105821.rs index 6cfabb65efb..a0a98103b2c 100644 --- a/tests/ui/const-generics/issues/issue-105821.rs +++ b/tests/ui/const-generics/issues/issue-105821.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![allow(incomplete_features)] #![feature(adt_const_params, generic_const_exprs)] diff --git a/tests/ui/const-generics/issues/issue-56445-1.rs b/tests/ui/const-generics/issues/issue-56445-1.rs index d862bf24aef..35126b3f55a 100644 --- a/tests/ui/const-generics/issues/issue-56445-1.rs +++ b/tests/ui/const-generics/issues/issue-56445-1.rs @@ -1,5 +1,5 @@ // Regression test for https://github.com/rust-lang/rust/issues/56445#issuecomment-518402995. -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] #![crate_type = "lib"] diff --git a/tests/ui/const-generics/issues/issue-60818-struct-constructors.rs b/tests/ui/const-generics/issues/issue-60818-struct-constructors.rs index 0066490dfa3..8b3c8eea616 100644 --- a/tests/ui/const-generics/issues/issue-60818-struct-constructors.rs +++ b/tests/ui/const-generics/issues/issue-60818-struct-constructors.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct Generic<const V: usize>; diff --git a/tests/ui/const-generics/issues/issue-61336-1.rs b/tests/ui/const-generics/issues/issue-61336-1.rs index beb37e63b5e..24acd6a8d72 100644 --- a/tests/ui/const-generics/issues/issue-61336-1.rs +++ b/tests/ui/const-generics/issues/issue-61336-1.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass fn f<T: Copy, const N: usize>(x: T) -> [T; N] { [x; N] } diff --git a/tests/ui/const-generics/issues/issue-61422.rs b/tests/ui/const-generics/issues/issue-61422.rs index 0b9cf40d855..88fd8b9405c 100644 --- a/tests/ui/const-generics/issues/issue-61422.rs +++ b/tests/ui/const-generics/issues/issue-61422.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass use std::mem; // Neither of the uninits below are currently accepted as not UB, however, diff --git a/tests/ui/const-generics/issues/issue-61432.rs b/tests/ui/const-generics/issues/issue-61432.rs index 6192af82afb..329bf24922e 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 +//@ run-pass fn promote<const N: i32>() { 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 fa76aeae901..778e4a31d15 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 +//@ run-pass pub trait BitLen: Sized { const BIT_LEN: usize; } diff --git a/tests/ui/const-generics/issues/issue-62878.rs b/tests/ui/const-generics/issues/issue-62878.rs index d226551ef8a..0b5269df85e 100644 --- a/tests/ui/const-generics/issues/issue-62878.rs +++ b/tests/ui/const-generics/issues/issue-62878.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params, generic_arg_infer))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-63322-forbid-dyn.rs b/tests/ui/const-generics/issues/issue-63322-forbid-dyn.rs index 8bc35ab3d37..c5b83e9d529 100644 --- a/tests/ui/const-generics/issues/issue-63322-forbid-dyn.rs +++ b/tests/ui/const-generics/issues/issue-63322-forbid-dyn.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-64519.rs b/tests/ui/const-generics/issues/issue-64519.rs index 969289b26e8..1b41a8204af 100644 --- a/tests/ui/const-generics/issues/issue-64519.rs +++ b/tests/ui/const-generics/issues/issue-64519.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct Foo<const D: usize> { state: Option<[u8; D]>, } diff --git a/tests/ui/const-generics/issues/issue-66596-impl-trait-for-str-const-arg.rs b/tests/ui/const-generics/issues/issue-66596-impl-trait-for-str-const-arg.rs index 091419f0c52..113bf94b5cb 100644 --- a/tests/ui/const-generics/issues/issue-66596-impl-trait-for-str-const-arg.rs +++ b/tests/ui/const-generics/issues/issue-66596-impl-trait-for-str-const-arg.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(adt_const_params)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-66906.rs b/tests/ui/const-generics/issues/issue-66906.rs index a0b3f912207..8836da84a38 100644 --- a/tests/ui/const-generics/issues/issue-66906.rs +++ b/tests/ui/const-generics/issues/issue-66906.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass pub struct Tuple; diff --git a/tests/ui/const-generics/issues/issue-67185-1.rs b/tests/ui/const-generics/issues/issue-67185-1.rs index 69425b25eae..12127330cac 100644 --- a/tests/ui/const-generics/issues/issue-67185-1.rs +++ b/tests/ui/const-generics/issues/issue-67185-1.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait Baz { type Quaks; diff --git a/tests/ui/const-generics/issues/issue-67375.rs b/tests/ui/const-generics/issues/issue-67375.rs index 8b4b276bae0..5c6377bf94b 100644 --- a/tests/ui/const-generics/issues/issue-67375.rs +++ b/tests/ui/const-generics/issues/issue-67375.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, allow(incomplete_features))] #![cfg_attr(full, feature(generic_const_exprs))] diff --git a/tests/ui/const-generics/issues/issue-67739.rs b/tests/ui/const-generics/issues/issue-67739.rs index de0eb7f509a..08bf4461d66 100644 --- a/tests/ui/const-generics/issues/issue-67739.rs +++ b/tests/ui/const-generics/issues/issue-67739.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-67945-1.rs b/tests/ui/const-generics/issues/issue-67945-1.rs index 99f88bc8e10..35ee36359b6 100644 --- a/tests/ui/const-generics/issues/issue-67945-1.rs +++ b/tests/ui/const-generics/issues/issue-67945-1.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, allow(incomplete_features))] #![cfg_attr(full, feature(generic_const_exprs))] diff --git a/tests/ui/const-generics/issues/issue-67945-2.rs b/tests/ui/const-generics/issues/issue-67945-2.rs index cbb4e14eccf..ce48b3f86a6 100644 --- a/tests/ui/const-generics/issues/issue-67945-2.rs +++ b/tests/ui/const-generics/issues/issue-67945-2.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, allow(incomplete_features))] #![cfg_attr(full, feature(generic_const_exprs))] diff --git a/tests/ui/const-generics/issues/issue-67945-3.rs b/tests/ui/const-generics/issues/issue-67945-3.rs index fd8a393effe..d0a3a26dced 100644 --- a/tests/ui/const-generics/issues/issue-67945-3.rs +++ b/tests/ui/const-generics/issues/issue-67945-3.rs @@ -2,7 +2,7 @@ // https://github.com/rust-lang/rust/issues/67945#issuecomment-572617285 // Make sure we don't emit an E0277 error. -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-67945-4.rs b/tests/ui/const-generics/issues/issue-67945-4.rs index 9a27bf09f88..da9de87d053 100644 --- a/tests/ui/const-generics/issues/issue-67945-4.rs +++ b/tests/ui/const-generics/issues/issue-67945-4.rs @@ -1,7 +1,7 @@ // Regression test for // https://github.com/rust-lang/rust/issues/67945#issuecomment-572617285 -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-68104-print-stack-overflow.rs b/tests/ui/const-generics/issues/issue-68104-print-stack-overflow.rs index ad5710baae2..0c5e72bb878 100644 --- a/tests/ui/const-generics/issues/issue-68104-print-stack-overflow.rs +++ b/tests/ui/const-generics/issues/issue-68104-print-stack-overflow.rs @@ -1,5 +1,5 @@ -// aux-build:impl-const.rs -// run-pass +//@ aux-build:impl-const.rs +//@ run-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-68366.rs b/tests/ui/const-generics/issues/issue-68366.rs index 4c2741ab433..d3e57a021a6 100644 --- a/tests/ui/const-generics/issues/issue-68366.rs +++ b/tests/ui/const-generics/issues/issue-68366.rs @@ -2,7 +2,7 @@ // The note should relate to the fact that it cannot be shown forall N that it maps 1-1 to a new // type. -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-68596.rs b/tests/ui/const-generics/issues/issue-68596.rs index c3c9141e424..9e450adf5ee 100644 --- a/tests/ui/const-generics/issues/issue-68596.rs +++ b/tests/ui/const-generics/issues/issue-68596.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass pub struct S(u8); impl S { diff --git a/tests/ui/const-generics/issues/issue-68615-adt.rs b/tests/ui/const-generics/issues/issue-68615-adt.rs index 3ef1ad45edf..4252bd15325 100644 --- a/tests/ui/const-generics/issues/issue-68615-adt.rs +++ b/tests/ui/const-generics/issues/issue-68615-adt.rs @@ -1,5 +1,5 @@ -// [full] check-pass -// revisions: full min +//@ [full] check-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-68615-array.rs b/tests/ui/const-generics/issues/issue-68615-array.rs index 93477be41b5..b2f946288e8 100644 --- a/tests/ui/const-generics/issues/issue-68615-array.rs +++ b/tests/ui/const-generics/issues/issue-68615-array.rs @@ -1,5 +1,5 @@ -// [full] check-pass -// revisions: full min +//@ [full] check-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] 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 21d6270b1fa..bd8f1fcddb8 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 +//@ run-pass trait Bar<T> {} //~ WARN trait `Bar` is never used impl<T> Bar<T> for [u8; 7] {} diff --git a/tests/ui/const-generics/issues/issue-70125-1.rs b/tests/ui/const-generics/issues/issue-70125-1.rs index 0027cd46a51..d15ca957cdc 100644 --- a/tests/ui/const-generics/issues/issue-70125-1.rs +++ b/tests/ui/const-generics/issues/issue-70125-1.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass const L: usize = 4; diff --git a/tests/ui/const-generics/issues/issue-70125-2.rs b/tests/ui/const-generics/issues/issue-70125-2.rs index cfd5e784ec4..ec53c538ea2 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 +//@ run-pass fn main() { <()>::foo(); } diff --git a/tests/ui/const-generics/issues/issue-70167.rs b/tests/ui/const-generics/issues/issue-70167.rs index 3961941f81f..4037bd67a28 100644 --- a/tests/ui/const-generics/issues/issue-70167.rs +++ b/tests/ui/const-generics/issues/issue-70167.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass pub trait Trait<const N: usize>: From<<Self as Trait<N>>::Item> { type Item; } diff --git a/tests/ui/const-generics/issues/issue-70180-1-stalled_on.rs b/tests/ui/const-generics/issues/issue-70180-1-stalled_on.rs index 2ec37cc3a1b..dd5e94df665 100644 --- a/tests/ui/const-generics/issues/issue-70180-1-stalled_on.rs +++ b/tests/ui/const-generics/issues/issue-70180-1-stalled_on.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass pub fn works() { let array/*: [_; _]*/ = default_array(); diff --git a/tests/ui/const-generics/issues/issue-70180-2-stalled_on.rs b/tests/ui/const-generics/issues/issue-70180-2-stalled_on.rs index 95e54842874..f69eee64358 100644 --- a/tests/ui/const-generics/issues/issue-70180-2-stalled_on.rs +++ b/tests/ui/const-generics/issues/issue-70180-2-stalled_on.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass fn works() { let array/*: [u8; _]*/ = default_byte_array(); diff --git a/tests/ui/const-generics/issues/issue-70225.rs b/tests/ui/const-generics/issues/issue-70225.rs index d458d7b2e87..dd00ac11870 100644 --- a/tests/ui/const-generics/issues/issue-70225.rs +++ b/tests/ui/const-generics/issues/issue-70225.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![deny(dead_code)] // We previously incorrectly linted `L` as unused here. diff --git a/tests/ui/const-generics/issues/issue-70273-assoc-fn.rs b/tests/ui/const-generics/issues/issue-70273-assoc-fn.rs index f02ab355f9b..6f557ca9deb 100644 --- a/tests/ui/const-generics/issues/issue-70273-assoc-fn.rs +++ b/tests/ui/const-generics/issues/issue-70273-assoc-fn.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait T<const A: usize> { fn f(); diff --git a/tests/ui/const-generics/issues/issue-71169.rs b/tests/ui/const-generics/issues/issue-71169.rs index e4ec6b07376..fdac0974d34 100644 --- a/tests/ui/const-generics/issues/issue-71169.rs +++ b/tests/ui/const-generics/issues/issue-71169.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-71381.rs b/tests/ui/const-generics/issues/issue-71381.rs index 75ad4545371..7f2e14944e2 100644 --- a/tests/ui/const-generics/issues/issue-71381.rs +++ b/tests/ui/const-generics/issues/issue-71381.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-71382.rs b/tests/ui/const-generics/issues/issue-71382.rs index 4392d72e566..8878a4434c4 100644 --- a/tests/ui/const-generics/issues/issue-71382.rs +++ b/tests/ui/const-generics/issues/issue-71382.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-71547.rs b/tests/ui/const-generics/issues/issue-71547.rs index 60776a1a985..a2cea433a44 100644 --- a/tests/ui/const-generics/issues/issue-71547.rs +++ b/tests/ui/const-generics/issues/issue-71547.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(adt_const_params)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-71611.rs b/tests/ui/const-generics/issues/issue-71611.rs index 92930092482..0e0c08146b2 100644 --- a/tests/ui/const-generics/issues/issue-71611.rs +++ b/tests/ui/const-generics/issues/issue-71611.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-71986.rs b/tests/ui/const-generics/issues/issue-71986.rs index 6f0a98ead88..c97b3c59e0e 100644 --- a/tests/ui/const-generics/issues/issue-71986.rs +++ b/tests/ui/const-generics/issues/issue-71986.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass pub trait Foo<const B: bool> {} pub fn bar<T: Foo<{ true }>>() {} diff --git a/tests/ui/const-generics/issues/issue-72352.rs b/tests/ui/const-generics/issues/issue-72352.rs index 0cab6e8ebfa..841ae867004 100644 --- a/tests/ui/const-generics/issues/issue-72352.rs +++ b/tests/ui/const-generics/issues/issue-72352.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-73120.rs b/tests/ui/const-generics/issues/issue-73120.rs index 050dc9bde64..b980a34b6f4 100644 --- a/tests/ui/const-generics/issues/issue-73120.rs +++ b/tests/ui/const-generics/issues/issue-73120.rs @@ -1,5 +1,5 @@ -// check-pass -// aux-build:const_generic_issues_lib.rs +//@ check-pass +//@ aux-build:const_generic_issues_lib.rs #![feature(generic_const_exprs)] #![allow(incomplete_features)] extern crate const_generic_issues_lib as lib2; diff --git a/tests/ui/const-generics/issues/issue-73491.rs b/tests/ui/const-generics/issues/issue-73491.rs index 482dbb04daa..ad0eb7e8243 100644 --- a/tests/ui/const-generics/issues/issue-73491.rs +++ b/tests/ui/const-generics/issues/issue-73491.rs @@ -1,5 +1,5 @@ -// [full] check-pass -// revisions: full min +//@ [full] check-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-73727-static-reference-array-const-param.rs b/tests/ui/const-generics/issues/issue-73727-static-reference-array-const-param.rs index f0d604835cb..701b3423f31 100644 --- a/tests/ui/const-generics/issues/issue-73727-static-reference-array-const-param.rs +++ b/tests/ui/const-generics/issues/issue-73727-static-reference-array-const-param.rs @@ -1,7 +1,7 @@ // Regression test for #73727 -// revisions: full min -//[full]check-pass +//@ revisions: full min +//@[full]check-pass #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-74101.rs b/tests/ui/const-generics/issues/issue-74101.rs index 4c9b2d3c634..5c50951d733 100644 --- a/tests/ui/const-generics/issues/issue-74101.rs +++ b/tests/ui/const-generics/issues/issue-74101.rs @@ -1,5 +1,5 @@ -// [full] check-pass -// revisions: full min +//@ [full] check-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-74255.rs b/tests/ui/const-generics/issues/issue-74255.rs index 60b2fd37c44..202fa405eab 100644 --- a/tests/ui/const-generics/issues/issue-74255.rs +++ b/tests/ui/const-generics/issues/issue-74255.rs @@ -1,5 +1,5 @@ -// [full] check-pass -// revisions: full min +//@ [full] check-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-74906.rs b/tests/ui/const-generics/issues/issue-74906.rs index cc1f2853fb2..0a37cebc023 100644 --- a/tests/ui/const-generics/issues/issue-74906.rs +++ b/tests/ui/const-generics/issues/issue-74906.rs @@ -1,5 +1,5 @@ -// edition:2018 -// check-pass +//@ edition:2018 +//@ check-pass const SIZE: usize = 16; diff --git a/tests/ui/const-generics/issues/issue-74950.rs b/tests/ui/const-generics/issues/issue-74950.rs index f1f9bd16ebe..f79676ccee8 100644 --- a/tests/ui/const-generics/issues/issue-74950.rs +++ b/tests/ui/const-generics/issues/issue-74950.rs @@ -1,5 +1,5 @@ -// [full] build-pass -// revisions: full min +//@ [full] build-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-75047.rs b/tests/ui/const-generics/issues/issue-75047.rs index 7b6fb92bca9..549be103183 100644 --- a/tests/ui/const-generics/issues/issue-75047.rs +++ b/tests/ui/const-generics/issues/issue-75047.rs @@ -1,5 +1,5 @@ -// [full] check-pass -// revisions: full min +//@ [full] check-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/issues/issue-75299.rs b/tests/ui/const-generics/issues/issue-75299.rs index 83ef09af88e..2c48dc71207 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 +//@ compile-flags: -Zmir-opt-level=4 +//@ run-pass fn main() { fn foo<const N: usize>() -> [u8; N] { [0; N] diff --git a/tests/ui/const-generics/issues/issue-83288.rs b/tests/ui/const-generics/issues/issue-83288.rs index a24596d242e..4260170d1ac 100644 --- a/tests/ui/const-generics/issues/issue-83288.rs +++ b/tests/ui/const-generics/issues/issue-83288.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/issues/issue-85031-2.rs b/tests/ui/const-generics/issues/issue-85031-2.rs index 50dd66da6db..bd96690f995 100644 --- a/tests/ui/const-generics/issues/issue-85031-2.rs +++ b/tests/ui/const-generics/issues/issue-85031-2.rs @@ -1,5 +1,5 @@ -// check-pass -// known-bug: unknown +//@ check-pass +//@ known-bug: unknown // This should not compile, as the compiler should not know // `A - 0` is satisfied `?x - 0` if `?x` is inferred to `A`. diff --git a/tests/ui/const-generics/issues/issue-86033.rs b/tests/ui/const-generics/issues/issue-86033.rs index cf08f722fbb..a27e8d77b64 100644 --- a/tests/ui/const-generics/issues/issue-86033.rs +++ b/tests/ui/const-generics/issues/issue-86033.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-86535-2.rs b/tests/ui/const-generics/issues/issue-86535-2.rs index 0b535fd6649..1ba3b6d5347 100644 --- a/tests/ui/const-generics/issues/issue-86535-2.rs +++ b/tests/ui/const-generics/issues/issue-86535-2.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(adt_const_params, generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-86535.rs b/tests/ui/const-generics/issues/issue-86535.rs index 5289c4e99dd..dd6bc88ad19 100644 --- a/tests/ui/const-generics/issues/issue-86535.rs +++ b/tests/ui/const-generics/issues/issue-86535.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(adt_const_params, generic_const_exprs)] #![allow(incomplete_features, unused_variables)] diff --git a/tests/ui/const-generics/issues/issue-87076.rs b/tests/ui/const-generics/issues/issue-87076.rs index a32c1f965f8..632320fb3c5 100644 --- a/tests/ui/const-generics/issues/issue-87076.rs +++ b/tests/ui/const-generics/issues/issue-87076.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(adt_const_params)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-87470.rs b/tests/ui/const-generics/issues/issue-87470.rs index d60181a418a..ab2e0039e70 100644 --- a/tests/ui/const-generics/issues/issue-87470.rs +++ b/tests/ui/const-generics/issues/issue-87470.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-87964.rs b/tests/ui/const-generics/issues/issue-87964.rs index 116686abb9e..fbaf2bcfa7a 100644 --- a/tests/ui/const-generics/issues/issue-87964.rs +++ b/tests/ui/const-generics/issues/issue-87964.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-88119.rs b/tests/ui/const-generics/issues/issue-88119.rs index 647b0eea86d..bcbb26f0d8e 100644 --- a/tests/ui/const-generics/issues/issue-88119.rs +++ b/tests/ui/const-generics/issues/issue-88119.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![allow(incomplete_features)] #![feature(const_trait_impl, generic_const_exprs)] diff --git a/tests/ui/const-generics/issues/issue-88468.rs b/tests/ui/const-generics/issues/issue-88468.rs index 914047236ab..3c84d3d5cc2 100644 --- a/tests/ui/const-generics/issues/issue-88468.rs +++ b/tests/ui/const-generics/issues/issue-88468.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/issues/issue-89146.rs b/tests/ui/const-generics/issues/issue-89146.rs index e3540f46f1e..5c65d7af6f7 100644 --- a/tests/ui/const-generics/issues/issue-89146.rs +++ b/tests/ui/const-generics/issues/issue-89146.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![allow(incomplete_features)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/issues/issue-89304.rs b/tests/ui/const-generics/issues/issue-89304.rs index d544d637cc4..d5cbfc9300b 100644 --- a/tests/ui/const-generics/issues/issue-89304.rs +++ b/tests/ui/const-generics/issues/issue-89304.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-89320.rs b/tests/ui/const-generics/issues/issue-89320.rs index afa5c8fab74..36482737704 100644 --- a/tests/ui/const-generics/issues/issue-89320.rs +++ b/tests/ui/const-generics/issues/issue-89320.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-89334.rs b/tests/ui/const-generics/issues/issue-89334.rs index b15b7428cdd..9c2426c8936 100644 --- a/tests/ui/const-generics/issues/issue-89334.rs +++ b/tests/ui/const-generics/issues/issue-89334.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(unused_braces, incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-92186.rs b/tests/ui/const-generics/issues/issue-92186.rs index 9ced4667d24..73c50b6e41c 100644 --- a/tests/ui/const-generics/issues/issue-92186.rs +++ b/tests/ui/const-generics/issues/issue-92186.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/issues/issue-96654.rs b/tests/ui/const-generics/issues/issue-96654.rs index 8cf786dbe40..fbbb68a7639 100644 --- a/tests/ui/const-generics/issues/issue-96654.rs +++ b/tests/ui/const-generics/issues/issue-96654.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct A<const M: u32> {} diff --git a/tests/ui/const-generics/issues/issue-97634.rs b/tests/ui/const-generics/issues/issue-97634.rs index 422e8de6856..2bd213fc532 100644 --- a/tests/ui/const-generics/issues/issue-97634.rs +++ b/tests/ui/const-generics/issues/issue-97634.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass pub enum Register<const N: u16> { Field0 = 40, diff --git a/tests/ui/const-generics/late-bound-vars/in_closure.rs b/tests/ui/const-generics/late-bound-vars/in_closure.rs index 443c755c601..88537f29dfd 100644 --- a/tests/ui/const-generics/late-bound-vars/in_closure.rs +++ b/tests/ui/const-generics/late-bound-vars/in_closure.rs @@ -1,4 +1,4 @@ -// known-bug: unknown +//@ known-bug: unknown // see comment on `tests/ui/const-generics/late-bound-vars/simple.rs` #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/late-bound-vars/late-bound-in-return-issue-77357.rs b/tests/ui/const-generics/late-bound-vars/late-bound-in-return-issue-77357.rs index b81aa50d9a9..a5d7042dbf1 100644 --- a/tests/ui/const-generics/late-bound-vars/late-bound-in-return-issue-77357.rs +++ b/tests/ui/const-generics/late-bound-vars/late-bound-in-return-issue-77357.rs @@ -1,4 +1,4 @@ -// known-bug: unknown +//@ known-bug: unknown // see comment on `tests/ui/const-generics/late-bound-vars/simple.rs` #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/late-bound-vars/late-bound-in-where-issue-83993.rs b/tests/ui/const-generics/late-bound-vars/late-bound-in-where-issue-83993.rs index 89f01748fc9..629e5d45428 100644 --- a/tests/ui/const-generics/late-bound-vars/late-bound-in-where-issue-83993.rs +++ b/tests/ui/const-generics/late-bound-vars/late-bound-in-where-issue-83993.rs @@ -1,4 +1,4 @@ -// known-bug: unknown +//@ known-bug: unknown // see comment on `tests/ui/const-generics/late-bound-vars/simple.rs` #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/late-bound-vars/simple.rs b/tests/ui/const-generics/late-bound-vars/simple.rs index a562bd8cb41..73c01ce6777 100644 --- a/tests/ui/const-generics/late-bound-vars/simple.rs +++ b/tests/ui/const-generics/late-bound-vars/simple.rs @@ -1,4 +1,4 @@ -// known-bug: unknown +//@ known-bug: unknown // If we want this to compile, then we'd need to do something like RPITs do, // where nested associated constants have early-bound versions of their captured diff --git a/tests/ui/const-generics/legacy-const-generics-bad.rs b/tests/ui/const-generics/legacy-const-generics-bad.rs index 538eee337cc..3521c39fca9 100644 --- a/tests/ui/const-generics/legacy-const-generics-bad.rs +++ b/tests/ui/const-generics/legacy-const-generics-bad.rs @@ -1,4 +1,4 @@ -// aux-build:legacy-const-generics.rs +//@ aux-build:legacy-const-generics.rs extern crate legacy_const_generics; diff --git a/tests/ui/const-generics/legacy-const-generics.rs b/tests/ui/const-generics/legacy-const-generics.rs index 9abc72d98e6..9411be0e620 100644 --- a/tests/ui/const-generics/legacy-const-generics.rs +++ b/tests/ui/const-generics/legacy-const-generics.rs @@ -1,5 +1,5 @@ -// aux-build:legacy-const-generics.rs -// run-pass +//@ aux-build:legacy-const-generics.rs +//@ run-pass #![feature(rustc_attrs)] diff --git a/tests/ui/const-generics/min_const_generics/assoc_const.rs b/tests/ui/const-generics/min_const_generics/assoc_const.rs index 27e971b5b6f..ce373a74cf3 100644 --- a/tests/ui/const-generics/min_const_generics/assoc_const.rs +++ b/tests/ui/const-generics/min_const_generics/assoc_const.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct Foo<const N: usize>; impl<const N: usize> Foo<N> { diff --git a/tests/ui/const-generics/min_const_generics/complex-expression.rs b/tests/ui/const-generics/min_const_generics/complex-expression.rs index 8e667aebaad..ef2cbfa73ad 100644 --- a/tests/ui/const-generics/min_const_generics/complex-expression.rs +++ b/tests/ui/const-generics/min_const_generics/complex-expression.rs @@ -1,4 +1,4 @@ -// compile-flags: -Zdeduplicate-diagnostics=yes +//@ compile-flags: -Zdeduplicate-diagnostics=yes use std::mem::size_of; fn test<const N: usize>() {} diff --git a/tests/ui/const-generics/min_const_generics/const-evaluatable-unchecked.rs b/tests/ui/const-generics/min_const_generics/const-evaluatable-unchecked.rs index e9d868093e7..a3235e3878a 100644 --- a/tests/ui/const-generics/min_const_generics/const-evaluatable-unchecked.rs +++ b/tests/ui/const-generics/min_const_generics/const-evaluatable-unchecked.rs @@ -1,5 +1,5 @@ -// check-pass -// compile-flags: -Zdeduplicate-diagnostics=yes +//@ check-pass +//@ compile-flags: -Zdeduplicate-diagnostics=yes #![allow(dead_code)] fn foo<T>() { diff --git a/tests/ui/const-generics/min_const_generics/const_fn_in_generics.rs b/tests/ui/const-generics/min_const_generics/const_fn_in_generics.rs index 0c10af6c43f..aac90e44208 100644 --- a/tests/ui/const-generics/min_const_generics/const_fn_in_generics.rs +++ b/tests/ui/const-generics/min_const_generics/const_fn_in_generics.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass const fn identity<const T: u32>() -> u32 { T } diff --git a/tests/ui/const-generics/min_const_generics/default_trait_param.rs b/tests/ui/const-generics/min_const_generics/default_trait_param.rs index 9cd5e3279ff..dd642f9b3a0 100644 --- a/tests/ui/const-generics/min_const_generics/default_trait_param.rs +++ b/tests/ui/const-generics/min_const_generics/default_trait_param.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait Foo<const KIND: bool = true> {} fn main() {} 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 57d6941587a..0256ef732a3 100644 --- a/tests/ui/const-generics/min_const_generics/inferred_const.rs +++ b/tests/ui/const-generics/min_const_generics/inferred_const.rs @@ -1,5 +1,5 @@ #![feature(generic_arg_infer)] -// run-pass +//@ run-pass fn foo<const N: usize, const K: usize>(_data: [u32; N]) -> [u32; K] { [0; K] diff --git a/tests/ui/const-generics/min_const_generics/invalid-patterns.rs b/tests/ui/const-generics/min_const_generics/invalid-patterns.rs index 13b2cca2f24..a9d2a8a5dd7 100644 --- a/tests/ui/const-generics/min_const_generics/invalid-patterns.rs +++ b/tests/ui/const-generics/min_const_generics/invalid-patterns.rs @@ -1,4 +1,4 @@ -// stderr-per-bitwidth +//@ stderr-per-bitwidth use std::mem::transmute; fn get_flag<const FlagSet: bool, const ShortName: char>() -> Option<char> { diff --git a/tests/ui/const-generics/min_const_generics/macro.rs b/tests/ui/const-generics/min_const_generics/macro.rs index 9b63f76987a..b7e8083a861 100644 --- a/tests/ui/const-generics/min_const_generics/macro.rs +++ b/tests/ui/const-generics/min_const_generics/macro.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass struct Example<const N: usize>; macro_rules! external_macro { 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 fa119c59f61..9f8f63eb905 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 +//@ run-pass #![allow(dead_code)] struct Both<T=u32, const N: usize=3> { diff --git a/tests/ui/const-generics/nested-type.rs b/tests/ui/const-generics/nested-type.rs index ff95018065a..a9d106237b3 100644 --- a/tests/ui/const-generics/nested-type.rs +++ b/tests/ui/const-generics/nested-type.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/occurs-check/bind-param.rs b/tests/ui/const-generics/occurs-check/bind-param.rs index ee4244051a1..56ddccf219c 100644 --- a/tests/ui/const-generics/occurs-check/bind-param.rs +++ b/tests/ui/const-generics/occurs-check/bind-param.rs @@ -1,4 +1,4 @@ -// build-pass +//@ build-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/occurs-check/unify-fixpoint.rs b/tests/ui/const-generics/occurs-check/unify-fixpoint.rs index e6f8e4ad3b3..1c1ed41051d 100644 --- a/tests/ui/const-generics/occurs-check/unify-fixpoint.rs +++ b/tests/ui/const-generics/occurs-check/unify-fixpoint.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] //~ WARN the feature `generic_const_exprs` is incomplete diff --git a/tests/ui/const-generics/overlapping_impls.rs b/tests/ui/const-generics/overlapping_impls.rs index 2ce6c4a823c..3f0bd7bf3b2 100644 --- a/tests/ui/const-generics/overlapping_impls.rs +++ b/tests/ui/const-generics/overlapping_impls.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![allow(incomplete_features)] #![feature(adt_const_params)] #![feature(generic_const_exprs)] diff --git a/tests/ui/const-generics/params-in-ct-in-ty-param-lazy-norm.rs b/tests/ui/const-generics/params-in-ct-in-ty-param-lazy-norm.rs index b24a7afabd9..2794ff3eaa9 100644 --- a/tests/ui/const-generics/params-in-ct-in-ty-param-lazy-norm.rs +++ b/tests/ui/const-generics/params-in-ct-in-ty-param-lazy-norm.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/parent_generics_of_encoding.rs b/tests/ui/const-generics/parent_generics_of_encoding.rs index b87e3960fc9..1f9c8c5bc75 100644 --- a/tests/ui/const-generics/parent_generics_of_encoding.rs +++ b/tests/ui/const-generics/parent_generics_of_encoding.rs @@ -1,5 +1,5 @@ -// aux-build:generics_of_parent.rs -// check-pass +//@ aux-build:generics_of_parent.rs +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/parent_generics_of_encoding_impl_trait.rs b/tests/ui/const-generics/parent_generics_of_encoding_impl_trait.rs index 7a78e0f109c..3922aa7aa4a 100644 --- a/tests/ui/const-generics/parent_generics_of_encoding_impl_trait.rs +++ b/tests/ui/const-generics/parent_generics_of_encoding_impl_trait.rs @@ -1,4 +1,4 @@ -// aux-build:generics_of_parent_impl_trait.rs +//@ aux-build:generics_of_parent_impl_trait.rs #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/promotion.rs b/tests/ui/const-generics/promotion.rs index ce9a1a0feb4..7229c2570a7 100644 --- a/tests/ui/const-generics/promotion.rs +++ b/tests/ui/const-generics/promotion.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass // tests that promoting expressions containing const parameters is allowed. fn promotion_test<const N: usize>() -> &'static usize { &(3 + N) diff --git a/tests/ui/const-generics/raw-ptr-const-param-deref.rs b/tests/ui/const-generics/raw-ptr-const-param-deref.rs index 65595f07dab..b7fcbb3447a 100644 --- a/tests/ui/const-generics/raw-ptr-const-param-deref.rs +++ b/tests/ui/const-generics/raw-ptr-const-param-deref.rs @@ -1,5 +1,5 @@ // Checks that pointers must not be used as the type of const params. -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/raw-ptr-const-param.rs b/tests/ui/const-generics/raw-ptr-const-param.rs index 9cc46c769e7..19d18a2f9d2 100644 --- a/tests/ui/const-generics/raw-ptr-const-param.rs +++ b/tests/ui/const-generics/raw-ptr-const-param.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/slice-const-param-mismatch.rs b/tests/ui/const-generics/slice-const-param-mismatch.rs index 24c05d7bea5..733eeb69fa9 100644 --- a/tests/ui/const-generics/slice-const-param-mismatch.rs +++ b/tests/ui/const-generics/slice-const-param-mismatch.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/slice-const-param.rs b/tests/ui/const-generics/slice-const-param.rs index 90c573ab365..c6c0047c929 100644 --- a/tests/ui/const-generics/slice-const-param.rs +++ b/tests/ui/const-generics/slice-const-param.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(adt_const_params)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/std/const-generics-range.rs b/tests/ui/const-generics/std/const-generics-range.rs index bda59f3ec45..f959f1e2949 100644 --- a/tests/ui/const-generics/std/const-generics-range.rs +++ b/tests/ui/const-generics/std/const-generics-range.rs @@ -1,6 +1,6 @@ -// [full] known-bug: unknown +//@ [full] known-bug: unknown -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/trait-const-args.rs b/tests/ui/const-generics/trait-const-args.rs index 2cdef3fb452..d5ce6be3553 100644 --- a/tests/ui/const-generics/trait-const-args.rs +++ b/tests/ui/const-generics/trait-const-args.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct Const<const N: usize>; trait Foo<const N: usize> {} diff --git a/tests/ui/const-generics/transmute-const-param-static-reference.rs b/tests/ui/const-generics/transmute-const-param-static-reference.rs index 6b443c8bd90..49541233ed1 100644 --- a/tests/ui/const-generics/transmute-const-param-static-reference.rs +++ b/tests/ui/const-generics/transmute-const-param-static-reference.rs @@ -1,5 +1,5 @@ -// revisions: full min -//[full] check-pass +//@ revisions: full min +//@[full] check-pass #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/transmute.rs b/tests/ui/const-generics/transmute.rs index 30560a95b5e..245fcf5670e 100644 --- a/tests/ui/const-generics/transmute.rs +++ b/tests/ui/const-generics/transmute.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![feature(generic_const_exprs)] #![feature(transmute_generic_consts)] #![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 926e807feb0..419d605d0c8 100644 --- a/tests/ui/const-generics/transparent-maybeunit-array-wrapper.rs +++ b/tests/ui/const-generics/transparent-maybeunit-array-wrapper.rs @@ -1,5 +1,5 @@ -// run-pass -// revisions: full min +//@ run-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/try_unify_ignore_lifetimes.rs b/tests/ui/const-generics/try_unify_ignore_lifetimes.rs index 2ae0ae70dd9..2cd6fb53c4a 100644 --- a/tests/ui/const-generics/try_unify_ignore_lifetimes.rs +++ b/tests/ui/const-generics/try_unify_ignore_lifetimes.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/two_matching_preds.rs b/tests/ui/const-generics/two_matching_preds.rs index de608f73e2c..e69ca47385e 100644 --- a/tests/ui/const-generics/two_matching_preds.rs +++ b/tests/ui/const-generics/two_matching_preds.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/type-after-const-ok.rs b/tests/ui/const-generics/type-after-const-ok.rs index f37b0b10233..0a336e9a14a 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 +//@ run-pass // Verifies that having generic parameters after constants is permitted #[allow(dead_code)] struct A<const N: usize, T>(T); diff --git a/tests/ui/const-generics/type-dependent/const-arg-in-const-arg.rs b/tests/ui/const-generics/type-dependent/const-arg-in-const-arg.rs index e844148346f..74ac812f14e 100644 --- a/tests/ui/const-generics/type-dependent/const-arg-in-const-arg.rs +++ b/tests/ui/const-generics/type-dependent/const-arg-in-const-arg.rs @@ -1,5 +1,5 @@ -// run-pass -// revisions: full min +//@ run-pass +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![allow(incomplete_features)] diff --git a/tests/ui/const-generics/type-dependent/issue-61936.rs b/tests/ui/const-generics/type-dependent/issue-61936.rs index 7216b25f0df..24fc4d4a62d 100644 --- a/tests/ui/const-generics/type-dependent/issue-61936.rs +++ b/tests/ui/const-generics/type-dependent/issue-61936.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass trait SliceExt<T: Clone> { fn array_windows_example<'a, const N: usize>(&'a self) -> ArrayWindowsExample<'a, T, N>; diff --git a/tests/ui/const-generics/type-dependent/issue-63695.rs b/tests/ui/const-generics/type-dependent/issue-63695.rs index 08b6d4bf554..0b872dc44d9 100644 --- a/tests/ui/const-generics/type-dependent/issue-63695.rs +++ b/tests/ui/const-generics/type-dependent/issue-63695.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass trait T { fn test<const A: i32>(&self) -> i32 { A } diff --git a/tests/ui/const-generics/type-dependent/issue-67144-1.rs b/tests/ui/const-generics/type-dependent/issue-67144-1.rs index 27dd51de241..ceefe9b87f6 100644 --- a/tests/ui/const-generics/type-dependent/issue-67144-1.rs +++ b/tests/ui/const-generics/type-dependent/issue-67144-1.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct X; impl X { diff --git a/tests/ui/const-generics/type-dependent/issue-67144-2.rs b/tests/ui/const-generics/type-dependent/issue-67144-2.rs index b26f551eb86..88cba64356e 100644 --- a/tests/ui/const-generics/type-dependent/issue-67144-2.rs +++ b/tests/ui/const-generics/type-dependent/issue-67144-2.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct A<const N: usize>; struct X; diff --git a/tests/ui/const-generics/type-dependent/issue-69816.rs b/tests/ui/const-generics/type-dependent/issue-69816.rs index cbb6b398e01..a05faf2a821 100644 --- a/tests/ui/const-generics/type-dependent/issue-69816.rs +++ b/tests/ui/const-generics/type-dependent/issue-69816.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass trait IterExt: Sized + Iterator { fn default_for_size<const N: usize>(self) -> [Self::Item; N] where diff --git a/tests/ui/const-generics/type-dependent/issue-70217.rs b/tests/ui/const-generics/type-dependent/issue-70217.rs index 933ca027609..3e27dc66a93 100644 --- a/tests/ui/const-generics/type-dependent/issue-70217.rs +++ b/tests/ui/const-generics/type-dependent/issue-70217.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct Struct<const N: usize>; diff --git a/tests/ui/const-generics/type-dependent/issue-70507.rs b/tests/ui/const-generics/type-dependent/issue-70507.rs index c72d9fbec2d..56b9079ce3e 100644 --- a/tests/ui/const-generics/type-dependent/issue-70507.rs +++ b/tests/ui/const-generics/type-dependent/issue-70507.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass trait ConstChunksExactTrait<T> { fn const_chunks_exact<const N: usize>(&self) -> ConstChunksExact<'_, T, {N}>; diff --git a/tests/ui/const-generics/type-dependent/issue-70586.rs b/tests/ui/const-generics/type-dependent/issue-70586.rs index 346ac4b72cc..fe1471b1375 100644 --- a/tests/ui/const-generics/type-dependent/issue-70586.rs +++ b/tests/ui/const-generics/type-dependent/issue-70586.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass use std::marker::PhantomData; // This namespace is necessary for the ICE to trigger diff --git a/tests/ui/const-generics/type-dependent/issue-71348.rs b/tests/ui/const-generics/type-dependent/issue-71348.rs index 2ef2f066a6f..f349a88d124 100644 --- a/tests/ui/const-generics/type-dependent/issue-71348.rs +++ b/tests/ui/const-generics/type-dependent/issue-71348.rs @@ -1,5 +1,5 @@ -// [full] run-pass -// revisions: full min +//@ [full] run-pass +//@ revisions: full min #![cfg_attr(full, feature(adt_const_params))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/type-dependent/issue-71805.rs b/tests/ui/const-generics/type-dependent/issue-71805.rs index 060b899648e..27c101df107 100644 --- a/tests/ui/const-generics/type-dependent/issue-71805.rs +++ b/tests/ui/const-generics/type-dependent/issue-71805.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass use std::mem::MaybeUninit; trait CollectSlice<'a>: Iterator { diff --git a/tests/ui/const-generics/type-dependent/issue-73730.rs b/tests/ui/const-generics/type-dependent/issue-73730.rs index 5e1b8c63537..abba8a32613 100644 --- a/tests/ui/const-generics/type-dependent/issue-73730.rs +++ b/tests/ui/const-generics/type-dependent/issue-73730.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait Foo<'a, A>: Iterator<Item=A> { fn bar<const N: usize>(&mut self) -> *const [A; N]; } diff --git a/tests/ui/const-generics/type-dependent/non-local.rs b/tests/ui/const-generics/type-dependent/non-local.rs index b755de30b9c..67e1015fc8b 100644 --- a/tests/ui/const-generics/type-dependent/non-local.rs +++ b/tests/ui/const-generics/type-dependent/non-local.rs @@ -1,5 +1,5 @@ -// aux-build:type_dependent_lib.rs -// run-pass +//@ aux-build:type_dependent_lib.rs +//@ run-pass extern crate type_dependent_lib; use type_dependent_lib::*; diff --git a/tests/ui/const-generics/type-dependent/qpath.rs b/tests/ui/const-generics/type-dependent/qpath.rs index 2d678d0acd3..88925115fe0 100644 --- a/tests/ui/const-generics/type-dependent/qpath.rs +++ b/tests/ui/const-generics/type-dependent/qpath.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass struct A; impl A { fn foo<const N: usize>() -> usize { N + 1 } diff --git a/tests/ui/const-generics/type-dependent/simple.rs b/tests/ui/const-generics/type-dependent/simple.rs index 1b13133b5b9..c083b9288b3 100644 --- a/tests/ui/const-generics/type-dependent/simple.rs +++ b/tests/ui/const-generics/type-dependent/simple.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass struct R; impl R { diff --git a/tests/ui/const-generics/type-dependent/type-mismatch.rs b/tests/ui/const-generics/type-dependent/type-mismatch.rs index 3335ab870f4..6ed5fdca30a 100644 --- a/tests/ui/const-generics/type-dependent/type-mismatch.rs +++ b/tests/ui/const-generics/type-dependent/type-mismatch.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min struct R; impl R { diff --git a/tests/ui/const-generics/type_of_anon_const.rs b/tests/ui/const-generics/type_of_anon_const.rs index fb0d688a8ab..e9765d75697 100644 --- a/tests/ui/const-generics/type_of_anon_const.rs +++ b/tests/ui/const-generics/type_of_anon_const.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass trait T<const A: usize> { fn l<const N: bool>() -> usize; fn r<const N: bool>() -> bool; diff --git a/tests/ui/const-generics/types-mismatch-const-args.rs b/tests/ui/const-generics/types-mismatch-const-args.rs index 43ef28b268f..d07accde8fc 100644 --- a/tests/ui/const-generics/types-mismatch-const-args.rs +++ b/tests/ui/const-generics/types-mismatch-const-args.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/uninferred-consts-during-codegen-1.rs b/tests/ui/const-generics/uninferred-consts-during-codegen-1.rs index c7270e835c5..d5ce146394b 100644 --- a/tests/ui/const-generics/uninferred-consts-during-codegen-1.rs +++ b/tests/ui/const-generics/uninferred-consts-during-codegen-1.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass use std::fmt; diff --git a/tests/ui/const-generics/uninferred-consts-during-codegen-2.rs b/tests/ui/const-generics/uninferred-consts-during-codegen-2.rs index 191caa78f9e..f3a8c1b942e 100644 --- a/tests/ui/const-generics/uninferred-consts-during-codegen-2.rs +++ b/tests/ui/const-generics/uninferred-consts-during-codegen-2.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass use std::fmt; diff --git a/tests/ui/const-generics/unused-const-param.rs b/tests/ui/const-generics/unused-const-param.rs index c7f74cfac7d..41f7cec63c1 100644 --- a/tests/ui/const-generics/unused-const-param.rs +++ b/tests/ui/const-generics/unused-const-param.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass struct A<const N: usize>; // ok diff --git a/tests/ui/const-generics/unused_braces.fixed b/tests/ui/const-generics/unused_braces.fixed index 4c1926387b9..45e70ade324 100644 --- a/tests/ui/const-generics/unused_braces.fixed +++ b/tests/ui/const-generics/unused_braces.fixed @@ -1,5 +1,5 @@ -// check-pass -// run-rustfix +//@ check-pass +//@ run-rustfix #![warn(unused_braces)] macro_rules! make_1 { diff --git a/tests/ui/const-generics/unused_braces.full.fixed b/tests/ui/const-generics/unused_braces.full.fixed index 46d57e0dcfc..902549b3142 100644 --- a/tests/ui/const-generics/unused_braces.full.fixed +++ b/tests/ui/const-generics/unused_braces.full.fixed @@ -1,6 +1,6 @@ -// check-pass -// run-rustfix -// revisions: full min +//@ check-pass +//@ run-rustfix +//@ revisions: full min #![cfg_attr(full, feature(const_generics))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/unused_braces.min.fixed b/tests/ui/const-generics/unused_braces.min.fixed index 46d57e0dcfc..902549b3142 100644 --- a/tests/ui/const-generics/unused_braces.min.fixed +++ b/tests/ui/const-generics/unused_braces.min.fixed @@ -1,6 +1,6 @@ -// check-pass -// run-rustfix -// revisions: full min +//@ check-pass +//@ run-rustfix +//@ revisions: full min #![cfg_attr(full, feature(const_generics))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/unused_braces.rs b/tests/ui/const-generics/unused_braces.rs index e9f15b40180..da1a4da0388 100644 --- a/tests/ui/const-generics/unused_braces.rs +++ b/tests/ui/const-generics/unused_braces.rs @@ -1,5 +1,5 @@ -// check-pass -// run-rustfix +//@ check-pass +//@ run-rustfix #![warn(unused_braces)] macro_rules! make_1 { diff --git a/tests/ui/const-generics/variant-discrimiant-no-generics.rs b/tests/ui/const-generics/variant-discrimiant-no-generics.rs index e286aa9a613..1228b917bb4 100644 --- a/tests/ui/const-generics/variant-discrimiant-no-generics.rs +++ b/tests/ui/const-generics/variant-discrimiant-no-generics.rs @@ -1,4 +1,4 @@ -// revisions: full min +//@ revisions: full min #![cfg_attr(full, feature(generic_const_exprs))] #![cfg_attr(full, allow(incomplete_features))] diff --git a/tests/ui/const-generics/where-clauses.rs b/tests/ui/const-generics/where-clauses.rs index aa3ca1cf6de..4a76f6e8ac7 100644 --- a/tests/ui/const-generics/where-clauses.rs +++ b/tests/ui/const-generics/where-clauses.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait Bar<const N: usize> { fn bar() {} } trait Foo<const N: usize>: Bar<N> {} |
