diff options
Diffstat (limited to 'tests/ui/coherence')
105 files changed, 196 insertions, 196 deletions
diff --git a/tests/ui/coherence/coherence-all-remote.rs b/tests/ui/coherence/coherence-all-remote.rs index 5c3bfee822f..5c75dd1d2cd 100644 --- a/tests/ui/coherence/coherence-all-remote.rs +++ b/tests/ui/coherence/coherence-all-remote.rs @@ -1,4 +1,4 @@ -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::Remote1; diff --git a/tests/ui/coherence/coherence-bigint-int.rs b/tests/ui/coherence/coherence-bigint-int.rs index 02945e9dade..0a9ddf5e2d1 100644 --- a/tests/ui/coherence/coherence-bigint-int.rs +++ b/tests/ui/coherence/coherence-bigint-int.rs @@ -1,7 +1,7 @@ -// run-pass -// aux-build:coherence_lib.rs +//@ run-pass +//@ aux-build:coherence_lib.rs -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 extern crate coherence_lib as lib; use lib::Remote1; diff --git a/tests/ui/coherence/coherence-bigint-param.rs b/tests/ui/coherence/coherence-bigint-param.rs index c6543aaf67d..57e9f95dcaf 100644 --- a/tests/ui/coherence/coherence-bigint-param.rs +++ b/tests/ui/coherence/coherence-bigint-param.rs @@ -1,4 +1,4 @@ -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::Remote1; diff --git a/tests/ui/coherence/coherence-bigint-vecint.rs b/tests/ui/coherence/coherence-bigint-vecint.rs index a5dba90be5c..6822c6c44b7 100644 --- a/tests/ui/coherence/coherence-bigint-vecint.rs +++ b/tests/ui/coherence/coherence-bigint-vecint.rs @@ -1,7 +1,7 @@ -// run-pass -// aux-build:coherence_lib.rs +//@ run-pass +//@ aux-build:coherence_lib.rs -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 extern crate coherence_lib as lib; use lib::Remote1; diff --git a/tests/ui/coherence/coherence-blanket-conflicts-with-specific-cross-crate.rs b/tests/ui/coherence/coherence-blanket-conflicts-with-specific-cross-crate.rs index bccbac2ff16..d3253baa96d 100644 --- a/tests/ui/coherence/coherence-blanket-conflicts-with-specific-cross-crate.rs +++ b/tests/ui/coherence/coherence-blanket-conflicts-with-specific-cross-crate.rs @@ -1,4 +1,4 @@ -// aux-build:go_trait.rs +//@ aux-build:go_trait.rs extern crate go_trait; diff --git a/tests/ui/coherence/coherence-blanket.rs b/tests/ui/coherence/coherence-blanket.rs index 55fa89d7507..db10b8e654f 100644 --- a/tests/ui/coherence/coherence-blanket.rs +++ b/tests/ui/coherence/coherence-blanket.rs @@ -1,8 +1,8 @@ -// run-pass +//@ run-pass #![allow(unused_imports)] -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 extern crate coherence_lib as lib; use lib::Remote1; diff --git a/tests/ui/coherence/coherence-covered-type-parameter.rs b/tests/ui/coherence/coherence-covered-type-parameter.rs index bb95c59d183..b6332a04424 100644 --- a/tests/ui/coherence/coherence-covered-type-parameter.rs +++ b/tests/ui/coherence/coherence-covered-type-parameter.rs @@ -1,8 +1,8 @@ -// run-pass +//@ run-pass #![allow(dead_code)] -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 extern crate coherence_lib as lib; use lib::Remote; diff --git a/tests/ui/coherence/coherence-cow.rs b/tests/ui/coherence/coherence-cow.rs index 86a8d0963b8..af94964762a 100644 --- a/tests/ui/coherence/coherence-cow.rs +++ b/tests/ui/coherence/coherence-cow.rs @@ -1,8 +1,8 @@ -// revisions: re_a re_b re_c +//@ revisions: re_a re_b re_c #![cfg_attr(any(), re_a, re_b, re_c)] -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs // Test that the `Pair` type reports an error if it contains type // parameters, even when they are covered by local types. This test diff --git a/tests/ui/coherence/coherence-cross-crate-conflict.rs b/tests/ui/coherence/coherence-cross-crate-conflict.rs index 588630957c9..bdb76375e01 100644 --- a/tests/ui/coherence/coherence-cross-crate-conflict.rs +++ b/tests/ui/coherence/coherence-cross-crate-conflict.rs @@ -1,7 +1,7 @@ // The error here is strictly due to orphan rules; the impl here // generalizes the one upstream -// aux-build:trait_impl_conflict.rs +//@ aux-build:trait_impl_conflict.rs extern crate trait_impl_conflict; use trait_impl_conflict::Foo; diff --git a/tests/ui/coherence/coherence-doesnt-use-infcx-evaluate.rs b/tests/ui/coherence/coherence-doesnt-use-infcx-evaluate.rs index 063826f1d54..7e53695f987 100644 --- a/tests/ui/coherence/coherence-doesnt-use-infcx-evaluate.rs +++ b/tests/ui/coherence/coherence-doesnt-use-infcx-evaluate.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // issue: 113415 // Makes sure that coherence doesn't call any of the `predicate_may_hold`-esque fns, diff --git a/tests/ui/coherence/coherence-fundamental-trait-objects.rs b/tests/ui/coherence/coherence-fundamental-trait-objects.rs index dd127bf7f4b..82afb1b5e84 100644 --- a/tests/ui/coherence/coherence-fundamental-trait-objects.rs +++ b/tests/ui/coherence/coherence-fundamental-trait-objects.rs @@ -2,7 +2,7 @@ // treated as #[fundamental] types - the 2 meanings of #[fundamental] // are distinct. -// aux-build:coherence_fundamental_trait_lib.rs +//@ aux-build:coherence_fundamental_trait_lib.rs extern crate coherence_fundamental_trait_lib; diff --git a/tests/ui/coherence/coherence-impl-in-fn.rs b/tests/ui/coherence/coherence-impl-in-fn.rs index b9719731748..c391e87bf8d 100644 --- a/tests/ui/coherence/coherence-impl-in-fn.rs +++ b/tests/ui/coherence/coherence-impl-in-fn.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![allow(dead_code)] #![allow(non_camel_case_types)] diff --git a/tests/ui/coherence/coherence-iterator-vec-any-elem.rs b/tests/ui/coherence/coherence-iterator-vec-any-elem.rs index 43a0a5c4277..a406e4408a4 100644 --- a/tests/ui/coherence/coherence-iterator-vec-any-elem.rs +++ b/tests/ui/coherence/coherence-iterator-vec-any-elem.rs @@ -1,8 +1,8 @@ -// run-pass +//@ run-pass #![allow(dead_code)] -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 extern crate coherence_lib as lib; use lib::Remote1; diff --git a/tests/ui/coherence/coherence-iterator-vec.rs b/tests/ui/coherence/coherence-iterator-vec.rs index 386fe40ac3c..29553484931 100644 --- a/tests/ui/coherence/coherence-iterator-vec.rs +++ b/tests/ui/coherence/coherence-iterator-vec.rs @@ -1,8 +1,8 @@ -// run-pass +//@ run-pass #![allow(dead_code)] -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 extern crate coherence_lib as lib; use lib::Remote1; diff --git a/tests/ui/coherence/coherence-lone-type-parameter.rs b/tests/ui/coherence/coherence-lone-type-parameter.rs index 5368fef76d0..71d62cf39ef 100644 --- a/tests/ui/coherence/coherence-lone-type-parameter.rs +++ b/tests/ui/coherence/coherence-lone-type-parameter.rs @@ -1,4 +1,4 @@ -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::Remote; diff --git a/tests/ui/coherence/coherence-multidispatch-tuple.rs b/tests/ui/coherence/coherence-multidispatch-tuple.rs index b04b2a296b5..ac7b2578d77 100644 --- a/tests/ui/coherence/coherence-multidispatch-tuple.rs +++ b/tests/ui/coherence/coherence-multidispatch-tuple.rs @@ -1,6 +1,6 @@ -// check-pass +//@ check-pass #![allow(unused_imports)] -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 use std::fmt::Debug; use std::default::Default; diff --git a/tests/ui/coherence/coherence-negative-impls-copy.rs b/tests/ui/coherence/coherence-negative-impls-copy.rs index 7b29aade413..377d750f8ba 100644 --- a/tests/ui/coherence/coherence-negative-impls-copy.rs +++ b/tests/ui/coherence/coherence-negative-impls-copy.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // regression test for issue #101836 #![feature(negative_impls, extern_types)] diff --git a/tests/ui/coherence/coherence-negative-impls-safe-rpass.rs b/tests/ui/coherence/coherence-negative-impls-safe-rpass.rs index d5306d59ed5..d69872ba8cf 100644 --- a/tests/ui/coherence/coherence-negative-impls-safe-rpass.rs +++ b/tests/ui/coherence/coherence-negative-impls-safe-rpass.rs @@ -1,6 +1,6 @@ -// run-pass +//@ run-pass #![allow(dead_code)] -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 #![feature(negative_impls)] diff --git a/tests/ui/coherence/coherence-negative-inherent-where-bounds.rs b/tests/ui/coherence/coherence-negative-inherent-where-bounds.rs index 39ccaa6ac35..a54a8e1dc65 100644 --- a/tests/ui/coherence/coherence-negative-inherent-where-bounds.rs +++ b/tests/ui/coherence/coherence-negative-inherent-where-bounds.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(negative_impls)] #![feature(rustc_attrs)] diff --git a/tests/ui/coherence/coherence-negative-inherent.rs b/tests/ui/coherence/coherence-negative-inherent.rs index a9e1acc8044..7fbad5931a8 100644 --- a/tests/ui/coherence/coherence-negative-inherent.rs +++ b/tests/ui/coherence/coherence-negative-inherent.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(negative_impls)] #![feature(rustc_attrs)] diff --git a/tests/ui/coherence/coherence-negative-outlives-lifetimes.rs b/tests/ui/coherence/coherence-negative-outlives-lifetimes.rs index 531977d6dac..ae1000c6a47 100644 --- a/tests/ui/coherence/coherence-negative-outlives-lifetimes.rs +++ b/tests/ui/coherence/coherence-negative-outlives-lifetimes.rs @@ -1,6 +1,6 @@ -// revisions: stock with_negative_coherence +//@ revisions: stock with_negative_coherence -//[with_negative_coherence] known-bug: unknown +//@[with_negative_coherence] known-bug: unknown // Ideally this would work, but we don't use `&'a T` to imply that `T: 'a` // which is required for `&'a T: !MyPredicate` to hold. This is similar to the // test `negative-coherence-placeholder-region-constraints-on-unification.explicit.stderr` diff --git a/tests/ui/coherence/coherence-orphan.rs b/tests/ui/coherence/coherence-orphan.rs index 985cfe87161..c06705133c8 100644 --- a/tests/ui/coherence/coherence-orphan.rs +++ b/tests/ui/coherence/coherence-orphan.rs @@ -1,4 +1,4 @@ -// aux-build:coherence_orphan_lib.rs +//@ aux-build:coherence_orphan_lib.rs #![feature(negative_impls)] extern crate coherence_orphan_lib as lib; diff --git a/tests/ui/coherence/coherence-overlap-double-negative.rs b/tests/ui/coherence/coherence-overlap-double-negative.rs index 1ea0ddc7430..917760b0174 100644 --- a/tests/ui/coherence/coherence-overlap-double-negative.rs +++ b/tests/ui/coherence/coherence-overlap-double-negative.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(negative_impls)] #![feature(with_negative_coherence)] diff --git a/tests/ui/coherence/coherence-overlap-downstream-inherent.rs b/tests/ui/coherence/coherence-overlap-downstream-inherent.rs index 94a7ecbe11f..3e90b7c7fdd 100644 --- a/tests/ui/coherence/coherence-overlap-downstream-inherent.rs +++ b/tests/ui/coherence/coherence-overlap-downstream-inherent.rs @@ -1,5 +1,5 @@ -// revisions: old next -//[next] compile-flags: -Znext-solver +//@ revisions: old next +//@[next] compile-flags: -Znext-solver // Tests that we consider `T: Sugar + Fruit` to be ambiguous, even // though no impls are found. diff --git a/tests/ui/coherence/coherence-overlap-downstream.rs b/tests/ui/coherence/coherence-overlap-downstream.rs index 171b2a32fc5..8b99296d12a 100644 --- a/tests/ui/coherence/coherence-overlap-downstream.rs +++ b/tests/ui/coherence/coherence-overlap-downstream.rs @@ -1,5 +1,5 @@ -// revisions: old next -//[next] compile-flags: -Znext-solver +//@ revisions: old next +//@[next] compile-flags: -Znext-solver // Tests that we consider `T: Sugar + Fruit` to be ambiguous, even // though no impls are found. diff --git a/tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs b/tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs index 6f5cc980491..53b0a40fa66 100644 --- a/tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs +++ b/tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs @@ -1,5 +1,5 @@ -// revisions: old next -//[next] compile-flags: -Znext-solver +//@ revisions: old next +//@[next] compile-flags: -Znext-solver // Tests that we consider `Box<U>: !Sugar` to be ambiguous, even // though we see no impl of `Sugar` for `Box`. Therefore, an overlap diff --git a/tests/ui/coherence/coherence-overlap-issue-23516.rs b/tests/ui/coherence/coherence-overlap-issue-23516.rs index 4daaed4366f..620e00cd057 100644 --- a/tests/ui/coherence/coherence-overlap-issue-23516.rs +++ b/tests/ui/coherence/coherence-overlap-issue-23516.rs @@ -1,5 +1,5 @@ -// revisions: old next -//[next] compile-flags: -Znext-solver +//@ revisions: old next +//@[next] compile-flags: -Znext-solver // Tests that we consider `Box<U>: !Sugar` to be ambiguous, even // though we see no impl of `Sugar` for `Box`. Therefore, an overlap diff --git a/tests/ui/coherence/coherence-overlap-negate-alias-strict.rs b/tests/ui/coherence/coherence-overlap-negate-alias-strict.rs index 48dffc921a3..4fe23fff12a 100644 --- a/tests/ui/coherence/coherence-overlap-negate-alias-strict.rs +++ b/tests/ui/coherence/coherence-overlap-negate-alias-strict.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(negative_impls)] #![feature(rustc_attrs)] diff --git a/tests/ui/coherence/coherence-overlap-negate-strict.rs b/tests/ui/coherence/coherence-overlap-negate-strict.rs index 1021d87ca1b..2244c820d03 100644 --- a/tests/ui/coherence/coherence-overlap-negate-strict.rs +++ b/tests/ui/coherence/coherence-overlap-negate-strict.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(negative_impls)] #![feature(rustc_attrs)] diff --git a/tests/ui/coherence/coherence-overlap-negate-use-feature-gate.rs b/tests/ui/coherence/coherence-overlap-negate-use-feature-gate.rs index a0dd881d1aa..a0ddbc36cbb 100644 --- a/tests/ui/coherence/coherence-overlap-negate-use-feature-gate.rs +++ b/tests/ui/coherence/coherence-overlap-negate-use-feature-gate.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(with_negative_coherence)] diff --git a/tests/ui/coherence/coherence-overlap-negative-impls.rs b/tests/ui/coherence/coherence-overlap-negative-impls.rs index cd1df53a528..9a85d8c5a63 100644 --- a/tests/ui/coherence/coherence-overlap-negative-impls.rs +++ b/tests/ui/coherence/coherence-overlap-negative-impls.rs @@ -1,5 +1,5 @@ -// check-pass -// known-bug: #74629 +//@ check-pass +//@ known-bug: #74629 // Should fail. The `0` and `1` impls overlap, violating coherence. Eg, with // `T = Test, F = ()`, all bounds are true, making both impls applicable. diff --git a/tests/ui/coherence/coherence-overlap-negative-trait.rs b/tests/ui/coherence/coherence-overlap-negative-trait.rs index 8059d23ffd2..f026cf75d0b 100644 --- a/tests/ui/coherence/coherence-overlap-negative-trait.rs +++ b/tests/ui/coherence/coherence-overlap-negative-trait.rs @@ -1,5 +1,5 @@ -// check-pass -// aux-build:error_lib.rs +//@ check-pass +//@ aux-build:error_lib.rs // // Check that if we promise to not impl what would overlap it doesn't actually overlap diff --git a/tests/ui/coherence/coherence-overlap-negative-trait2.rs b/tests/ui/coherence/coherence-overlap-negative-trait2.rs index cc8c463b822..6b3a6fbd045 100644 --- a/tests/ui/coherence/coherence-overlap-negative-trait2.rs +++ b/tests/ui/coherence/coherence-overlap-negative-trait2.rs @@ -1,5 +1,5 @@ -// check-pass -// aux-build:option_future.rs +//@ check-pass +//@ aux-build:option_future.rs // // Check that if we promise to not impl what would overlap it doesn't actually overlap diff --git a/tests/ui/coherence/coherence-overlap-super-negative.rs b/tests/ui/coherence/coherence-overlap-super-negative.rs index d296a094a37..cca3d0ab36f 100644 --- a/tests/ui/coherence/coherence-overlap-super-negative.rs +++ b/tests/ui/coherence/coherence-overlap-super-negative.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(negative_impls)] #![feature(rustc_attrs)] diff --git a/tests/ui/coherence/coherence-overlap-upstream-inherent.rs b/tests/ui/coherence/coherence-overlap-upstream-inherent.rs index 082d753debb..56cb8b0299f 100644 --- a/tests/ui/coherence/coherence-overlap-upstream-inherent.rs +++ b/tests/ui/coherence/coherence-overlap-upstream-inherent.rs @@ -1,7 +1,7 @@ // Tests that we consider `i16: Remote` to be ambiguous, even // though the upstream crate doesn't implement it for now. -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib; diff --git a/tests/ui/coherence/coherence-overlap-upstream.rs b/tests/ui/coherence/coherence-overlap-upstream.rs index 8f1e6558b15..901d14465e2 100644 --- a/tests/ui/coherence/coherence-overlap-upstream.rs +++ b/tests/ui/coherence/coherence-overlap-upstream.rs @@ -1,7 +1,7 @@ // Tests that we consider `i16: Remote` to be ambiguous, even // though the upstream crate doesn't implement it for now. -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib; diff --git a/tests/ui/coherence/coherence-overlap-with-regions.rs b/tests/ui/coherence/coherence-overlap-with-regions.rs index 32f01f41801..1c9758790d9 100644 --- a/tests/ui/coherence/coherence-overlap-with-regions.rs +++ b/tests/ui/coherence/coherence-overlap-with-regions.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(negative_impls)] #![feature(rustc_attrs)] diff --git a/tests/ui/coherence/coherence-overlapping-pairs.rs b/tests/ui/coherence/coherence-overlapping-pairs.rs index d5d18217bd6..aa43cc10a3c 100644 --- a/tests/ui/coherence/coherence-overlapping-pairs.rs +++ b/tests/ui/coherence/coherence-overlapping-pairs.rs @@ -1,4 +1,4 @@ -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::Remote; diff --git a/tests/ui/coherence/coherence-pair-covered-uncovered-1.rs b/tests/ui/coherence/coherence-pair-covered-uncovered-1.rs index 15868ca8686..80a62946f5e 100644 --- a/tests/ui/coherence/coherence-pair-covered-uncovered-1.rs +++ b/tests/ui/coherence/coherence-pair-covered-uncovered-1.rs @@ -1,7 +1,7 @@ // Test that the same coverage rules apply even if the local type appears in the // list of type parameters, not the self type. -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; diff --git a/tests/ui/coherence/coherence-pair-covered-uncovered.rs b/tests/ui/coherence/coherence-pair-covered-uncovered.rs index da970572fde..3e5fceacabf 100644 --- a/tests/ui/coherence/coherence-pair-covered-uncovered.rs +++ b/tests/ui/coherence/coherence-pair-covered-uncovered.rs @@ -1,4 +1,4 @@ -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::{Remote, Pair}; diff --git a/tests/ui/coherence/coherence-projection-ok-orphan.rs b/tests/ui/coherence/coherence-projection-ok-orphan.rs index 42b4b1912e2..b8dbe2db5a6 100644 --- a/tests/ui/coherence/coherence-projection-ok-orphan.rs +++ b/tests/ui/coherence/coherence-projection-ok-orphan.rs @@ -1,7 +1,7 @@ // Here we do not get a coherence conflict because `Baz: Iterator` // does not hold and (due to the orphan rules), we can rely on that. -// check-pass +//@ check-pass pub trait Foo<P> {} diff --git a/tests/ui/coherence/coherence-projection-ok.rs b/tests/ui/coherence/coherence-projection-ok.rs index 44fc02a5c20..c5c145be7e5 100644 --- a/tests/ui/coherence/coherence-projection-ok.rs +++ b/tests/ui/coherence/coherence-projection-ok.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass pub trait Foo<P> {} diff --git a/tests/ui/coherence/coherence-rfc447-constrained.rs b/tests/ui/coherence/coherence-rfc447-constrained.rs index 9d1d8688325..6d03801ab9a 100644 --- a/tests/ui/coherence/coherence-rfc447-constrained.rs +++ b/tests/ui/coherence/coherence-rfc447-constrained.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass // check that trait matching can handle impls whose types are only // constrained by a projection. diff --git a/tests/ui/coherence/coherence-subtyping.rs b/tests/ui/coherence/coherence-subtyping.rs index b3ed728a81c..da0cc2d0265 100644 --- a/tests/ui/coherence/coherence-subtyping.rs +++ b/tests/ui/coherence/coherence-subtyping.rs @@ -4,7 +4,7 @@ // Note: This scenario is currently accepted, but as part of the // universe transition (#56105) may eventually become an error. -// check-pass +//@ check-pass trait TheTrait { fn foo(&self) {} diff --git a/tests/ui/coherence/coherence-vec-local-2.rs b/tests/ui/coherence/coherence-vec-local-2.rs index 47df06bac6c..d5b9588d674 100644 --- a/tests/ui/coherence/coherence-vec-local-2.rs +++ b/tests/ui/coherence/coherence-vec-local-2.rs @@ -1,7 +1,7 @@ // Test that a local, generic type appearing within a // *non-fundamental* remote type like `Vec` is not considered local. -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::Remote; diff --git a/tests/ui/coherence/coherence-vec-local.rs b/tests/ui/coherence/coherence-vec-local.rs index 130cc39d0af..2abab3312fd 100644 --- a/tests/ui/coherence/coherence-vec-local.rs +++ b/tests/ui/coherence/coherence-vec-local.rs @@ -1,7 +1,7 @@ // Test that a local type (with no type parameters) appearing within a // *non-fundamental* remote type like `Vec` is not considered local. -// aux-build:coherence_lib.rs +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::Remote; diff --git a/tests/ui/coherence/coherence-where-clause.rs b/tests/ui/coherence/coherence-where-clause.rs index cd9a423f4ec..84b35d20b74 100644 --- a/tests/ui/coherence/coherence-where-clause.rs +++ b/tests/ui/coherence/coherence-where-clause.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass use std::fmt::Debug; trait MyTrait { diff --git a/tests/ui/coherence/coherence-with-coroutine.rs b/tests/ui/coherence/coherence-with-coroutine.rs index 21857d7fe66..1ba98344672 100644 --- a/tests/ui/coherence/coherence-with-coroutine.rs +++ b/tests/ui/coherence/coherence-with-coroutine.rs @@ -3,8 +3,8 @@ #![cfg_attr(specialized, feature(specialization))] #![allow(incomplete_features)] -// revisions: stock specialized -// [specialized]check-pass +//@ revisions: stock specialized +//@ [specialized]check-pass type OpaqueCoroutine = impl Sized; fn defining_use() -> OpaqueCoroutine { diff --git a/tests/ui/coherence/coherence_copy_like.rs b/tests/ui/coherence/coherence_copy_like.rs index 92af341ccb5..f10111835be 100644 --- a/tests/ui/coherence/coherence_copy_like.rs +++ b/tests/ui/coherence/coherence_copy_like.rs @@ -1,9 +1,9 @@ -// run-pass +//@ run-pass #![allow(dead_code)] // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. -// aux-build:coherence_copy_like_lib.rs +//@ aux-build:coherence_copy_like_lib.rs extern crate coherence_copy_like_lib as lib; diff --git a/tests/ui/coherence/coherence_copy_like_err_fundamental_struct.rs b/tests/ui/coherence/coherence_copy_like_err_fundamental_struct.rs index edee6cd7b6c..593661c8d76 100644 --- a/tests/ui/coherence/coherence_copy_like_err_fundamental_struct.rs +++ b/tests/ui/coherence/coherence_copy_like_err_fundamental_struct.rs @@ -1,8 +1,8 @@ // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. -// aux-build:coherence_copy_like_lib.rs -// build-pass (FIXME(62277): could be check-pass?) +//@ aux-build:coherence_copy_like_lib.rs +//@ build-pass (FIXME(62277): could be check-pass?) // skip-codgen #![allow(dead_code)] diff --git a/tests/ui/coherence/coherence_copy_like_err_fundamental_struct_ref.rs b/tests/ui/coherence/coherence_copy_like_err_fundamental_struct_ref.rs index 599c804d213..29575d4192e 100644 --- a/tests/ui/coherence/coherence_copy_like_err_fundamental_struct_ref.rs +++ b/tests/ui/coherence/coherence_copy_like_err_fundamental_struct_ref.rs @@ -1,8 +1,8 @@ // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. -// check-pass -// aux-build:coherence_copy_like_lib.rs +//@ check-pass +//@ aux-build:coherence_copy_like_lib.rs extern crate coherence_copy_like_lib as lib; diff --git a/tests/ui/coherence/coherence_copy_like_err_fundamental_struct_tuple.rs b/tests/ui/coherence/coherence_copy_like_err_fundamental_struct_tuple.rs index 7d851b52884..2f45ed43200 100644 --- a/tests/ui/coherence/coherence_copy_like_err_fundamental_struct_tuple.rs +++ b/tests/ui/coherence/coherence_copy_like_err_fundamental_struct_tuple.rs @@ -1,7 +1,7 @@ // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. -// aux-build:coherence_copy_like_lib.rs +//@ aux-build:coherence_copy_like_lib.rs extern crate coherence_copy_like_lib as lib; diff --git a/tests/ui/coherence/coherence_copy_like_err_struct.rs b/tests/ui/coherence/coherence_copy_like_err_struct.rs index fe39370c901..a58c9802240 100644 --- a/tests/ui/coherence/coherence_copy_like_err_struct.rs +++ b/tests/ui/coherence/coherence_copy_like_err_struct.rs @@ -1,4 +1,4 @@ -// aux-build:coherence_copy_like_lib.rs +//@ aux-build:coherence_copy_like_lib.rs // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. diff --git a/tests/ui/coherence/coherence_copy_like_err_tuple.rs b/tests/ui/coherence/coherence_copy_like_err_tuple.rs index f63e205c9f8..7985781dbf7 100644 --- a/tests/ui/coherence/coherence_copy_like_err_tuple.rs +++ b/tests/ui/coherence/coherence_copy_like_err_tuple.rs @@ -1,7 +1,7 @@ // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. -// aux-build:coherence_copy_like_lib.rs +//@ aux-build:coherence_copy_like_lib.rs extern crate coherence_copy_like_lib as lib; diff --git a/tests/ui/coherence/coherence_inherent_cc.rs b/tests/ui/coherence/coherence_inherent_cc.rs index 759ada248f4..662f186340b 100644 --- a/tests/ui/coherence/coherence_inherent_cc.rs +++ b/tests/ui/coherence/coherence_inherent_cc.rs @@ -1,4 +1,4 @@ -// aux-build:coherence_inherent_cc_lib.rs +//@ aux-build:coherence_inherent_cc_lib.rs // Tests that methods that implement a trait cannot be invoked // unless the trait is imported. diff --git a/tests/ui/coherence/coherence_local.rs b/tests/ui/coherence/coherence_local.rs index ea724ada702..38bbd3dd3ca 100644 --- a/tests/ui/coherence/coherence_local.rs +++ b/tests/ui/coherence/coherence_local.rs @@ -1,8 +1,8 @@ // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. -// check-pass -// aux-build:coherence_copy_like_lib.rs +//@ check-pass +//@ aux-build:coherence_copy_like_lib.rs extern crate coherence_copy_like_lib as lib; diff --git a/tests/ui/coherence/coherence_local_err_struct.rs b/tests/ui/coherence/coherence_local_err_struct.rs index a24038eb280..d8b2096724e 100644 --- a/tests/ui/coherence/coherence_local_err_struct.rs +++ b/tests/ui/coherence/coherence_local_err_struct.rs @@ -1,7 +1,7 @@ // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. -// aux-build:coherence_copy_like_lib.rs +//@ aux-build:coherence_copy_like_lib.rs #![allow(dead_code)] extern crate coherence_copy_like_lib as lib; diff --git a/tests/ui/coherence/coherence_local_err_tuple.rs b/tests/ui/coherence/coherence_local_err_tuple.rs index f4033862a3e..978099ea689 100644 --- a/tests/ui/coherence/coherence_local_err_tuple.rs +++ b/tests/ui/coherence/coherence_local_err_tuple.rs @@ -1,7 +1,7 @@ // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. -// aux-build:coherence_copy_like_lib.rs +//@ aux-build:coherence_copy_like_lib.rs #![allow(dead_code)] extern crate coherence_copy_like_lib as lib; diff --git a/tests/ui/coherence/coherence_local_ref.rs b/tests/ui/coherence/coherence_local_ref.rs index 2e28839c8a4..88ed6ac77d2 100644 --- a/tests/ui/coherence/coherence_local_ref.rs +++ b/tests/ui/coherence/coherence_local_ref.rs @@ -1,8 +1,8 @@ // Test that we are able to introduce a negative constraint that // `MyType: !MyTrait` along with other "fundamental" wrappers. -// check-pass -// aux-build:coherence_copy_like_lib.rs +//@ check-pass +//@ aux-build:coherence_copy_like_lib.rs extern crate coherence_copy_like_lib as lib; diff --git a/tests/ui/coherence/const-generics-orphan-check-ok.rs b/tests/ui/coherence/const-generics-orphan-check-ok.rs index 217e8aed234..14087f5c3c7 100644 --- a/tests/ui/coherence/const-generics-orphan-check-ok.rs +++ b/tests/ui/coherence/const-generics-orphan-check-ok.rs @@ -1,5 +1,5 @@ -// check-pass -// aux-build:trait-with-const-param.rs +//@ check-pass +//@ aux-build:trait-with-const-param.rs extern crate trait_with_const_param; use trait_with_const_param::*; diff --git a/tests/ui/coherence/impl-foreign-for-foreign.rs b/tests/ui/coherence/impl-foreign-for-foreign.rs index 4c0d46045e9..7f8cb9fcb0e 100644 --- a/tests/ui/coherence/impl-foreign-for-foreign.rs +++ b/tests/ui/coherence/impl-foreign-for-foreign.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign-for-foreign[foreign].rs b/tests/ui/coherence/impl-foreign-for-foreign[foreign].rs index e79f66c0e13..166fe343d52 100644 --- a/tests/ui/coherence/impl-foreign-for-foreign[foreign].rs +++ b/tests/ui/coherence/impl-foreign-for-foreign[foreign].rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign-for-foreign[local].rs b/tests/ui/coherence/impl-foreign-for-foreign[local].rs index 0b1413edf37..0a586ba695c 100644 --- a/tests/ui/coherence/impl-foreign-for-foreign[local].rs +++ b/tests/ui/coherence/impl-foreign-for-foreign[local].rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign-for-fundamental[foreign].rs b/tests/ui/coherence/impl-foreign-for-fundamental[foreign].rs index 10bdf2db8bb..983ae336a0b 100644 --- a/tests/ui/coherence/impl-foreign-for-fundamental[foreign].rs +++ b/tests/ui/coherence/impl-foreign-for-fundamental[foreign].rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign-for-fundamental[local].rs b/tests/ui/coherence/impl-foreign-for-fundamental[local].rs index c3fc0e6b8a7..faad0700e56 100644 --- a/tests/ui/coherence/impl-foreign-for-fundamental[local].rs +++ b/tests/ui/coherence/impl-foreign-for-fundamental[local].rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign-for-local.rs b/tests/ui/coherence/impl-foreign-for-local.rs index 04405bc46fb..d12929244e9 100644 --- a/tests/ui/coherence/impl-foreign-for-local.rs +++ b/tests/ui/coherence/impl-foreign-for-local.rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign-for-locally-defined-fundamental.rs b/tests/ui/coherence/impl-foreign-for-locally-defined-fundamental.rs index bc1e18b657f..0f66314e884 100644 --- a/tests/ui/coherence/impl-foreign-for-locally-defined-fundamental.rs +++ b/tests/ui/coherence/impl-foreign-for-locally-defined-fundamental.rs @@ -1,8 +1,8 @@ #![feature(fundamental)] -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign-for-locally-defined-fundamental[foreign].rs b/tests/ui/coherence/impl-foreign-for-locally-defined-fundamental[foreign].rs index 1e11789ef39..a3286777c4e 100644 --- a/tests/ui/coherence/impl-foreign-for-locally-defined-fundamental[foreign].rs +++ b/tests/ui/coherence/impl-foreign-for-locally-defined-fundamental[foreign].rs @@ -1,8 +1,8 @@ #![feature(fundamental)] -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign[foreign]-for-foreign.rs b/tests/ui/coherence/impl-foreign[foreign]-for-foreign.rs index 99a399ddc63..db09a6434d2 100644 --- a/tests/ui/coherence/impl-foreign[foreign]-for-foreign.rs +++ b/tests/ui/coherence/impl-foreign[foreign]-for-foreign.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign[foreign]-for-local.rs b/tests/ui/coherence/impl-foreign[foreign]-for-local.rs index bc6595bb340..3f671a4944e 100644 --- a/tests/ui/coherence/impl-foreign[foreign]-for-local.rs +++ b/tests/ui/coherence/impl-foreign[foreign]-for-local.rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign[fundemental[foreign]]-for-foreign.rs b/tests/ui/coherence/impl-foreign[fundemental[foreign]]-for-foreign.rs index 0476cdaffe7..379beca50ae 100644 --- a/tests/ui/coherence/impl-foreign[fundemental[foreign]]-for-foreign.rs +++ b/tests/ui/coherence/impl-foreign[fundemental[foreign]]-for-foreign.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl-foreign[fundemental[local]]-for-foreign.rs b/tests/ui/coherence/impl-foreign[fundemental[local]]-for-foreign.rs index 7b83b048548..95e3a0a9b83 100644 --- a/tests/ui/coherence/impl-foreign[fundemental[local]]-for-foreign.rs +++ b/tests/ui/coherence/impl-foreign[fundemental[local]]-for-foreign.rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign-for-foreign[t].rs b/tests/ui/coherence/impl[t]-foreign-for-foreign[t].rs index 5282de4b271..8703cc6a819 100644 --- a/tests/ui/coherence/impl[t]-foreign-for-foreign[t].rs +++ b/tests/ui/coherence/impl[t]-foreign-for-foreign[t].rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign-for-fundamental[t].rs b/tests/ui/coherence/impl[t]-foreign-for-fundamental[t].rs index 6f5605a2193..d9616b9adda 100644 --- a/tests/ui/coherence/impl[t]-foreign-for-fundamental[t].rs +++ b/tests/ui/coherence/impl[t]-foreign-for-fundamental[t].rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[foreign[t]_local]-for-foreign.rs b/tests/ui/coherence/impl[t]-foreign[foreign[t]_local]-for-foreign.rs index 99f3ce44760..f1b9a08b44a 100644 --- a/tests/ui/coherence/impl[t]-foreign[foreign[t]_local]-for-foreign.rs +++ b/tests/ui/coherence/impl[t]-foreign[foreign[t]_local]-for-foreign.rs @@ -1,6 +1,6 @@ -// check-pass -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[foreign]-for-fundamental[t].rs b/tests/ui/coherence/impl[t]-foreign[foreign]-for-fundamental[t].rs index 81044cd0529..9d4440ba486 100644 --- a/tests/ui/coherence/impl[t]-foreign[foreign]-for-fundamental[t].rs +++ b/tests/ui/coherence/impl[t]-foreign[foreign]-for-fundamental[t].rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[foreign]-for-t.rs b/tests/ui/coherence/impl[t]-foreign[foreign]-for-t.rs index 680ba9f2226..533f0892b98 100644 --- a/tests/ui/coherence/impl[t]-foreign[foreign]-for-t.rs +++ b/tests/ui/coherence/impl[t]-foreign[foreign]-for-t.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-foreign.rs b/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-foreign.rs index fc7649085c3..02731052a6a 100644 --- a/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-foreign.rs +++ b/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-foreign.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-fundamental[t].rs b/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-fundamental[t].rs index 703f25dd60a..7c94fd80af2 100644 --- a/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-fundamental[t].rs +++ b/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-fundamental[t].rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-local.rs b/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-local.rs index ec21fdd4e04..d368b870f25 100644 --- a/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-local.rs +++ b/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-local.rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-t.rs b/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-t.rs index 5bdab87bf4e..d998731687c 100644 --- a/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-t.rs +++ b/tests/ui/coherence/impl[t]-foreign[fundamental[t]]-for-t.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[fundamental[t]_local]-for-foreign.rs b/tests/ui/coherence/impl[t]-foreign[fundamental[t]_local]-for-foreign.rs index c9e3594cd34..fdda2e0133d 100644 --- a/tests/ui/coherence/impl[t]-foreign[fundamental[t]_local]-for-foreign.rs +++ b/tests/ui/coherence/impl[t]-foreign[fundamental[t]_local]-for-foreign.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[fundemental[local]]-for-foreign[t].rs b/tests/ui/coherence/impl[t]-foreign[fundemental[local]]-for-foreign[t].rs index 62e69357e3a..4dd1ee381d5 100644 --- a/tests/ui/coherence/impl[t]-foreign[fundemental[local]]-for-foreign[t].rs +++ b/tests/ui/coherence/impl[t]-foreign[fundemental[local]]-for-foreign[t].rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[local]-for-foreign.rs b/tests/ui/coherence/impl[t]-foreign[local]-for-foreign.rs index 1fec19bbab9..d9b03971b1c 100644 --- a/tests/ui/coherence/impl[t]-foreign[local]-for-foreign.rs +++ b/tests/ui/coherence/impl[t]-foreign[local]-for-foreign.rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[local]-for-foreign[t].rs b/tests/ui/coherence/impl[t]-foreign[local]-for-foreign[t].rs index c8ed28be6f0..de9af310556 100644 --- a/tests/ui/coherence/impl[t]-foreign[local]-for-foreign[t].rs +++ b/tests/ui/coherence/impl[t]-foreign[local]-for-foreign[t].rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[local]-for-fundamental[foreign[t]].rs b/tests/ui/coherence/impl[t]-foreign[local]-for-fundamental[foreign[t]].rs index f9b88c6459b..497bfe9a84a 100644 --- a/tests/ui/coherence/impl[t]-foreign[local]-for-fundamental[foreign[t]].rs +++ b/tests/ui/coherence/impl[t]-foreign[local]-for-fundamental[foreign[t]].rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[local]-for-fundamental[t].rs b/tests/ui/coherence/impl[t]-foreign[local]-for-fundamental[t].rs index 7709bd9c89b..4dd810cdcfc 100644 --- a/tests/ui/coherence/impl[t]-foreign[local]-for-fundamental[t].rs +++ b/tests/ui/coherence/impl[t]-foreign[local]-for-fundamental[t].rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[local]-for-local.rs b/tests/ui/coherence/impl[t]-foreign[local]-for-local.rs index 9c14eea1be2..9c2b20527d7 100644 --- a/tests/ui/coherence/impl[t]-foreign[local]-for-local.rs +++ b/tests/ui/coherence/impl[t]-foreign[local]-for-local.rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[local]-for-t.rs b/tests/ui/coherence/impl[t]-foreign[local]-for-t.rs index eed3a4b5c23..85322ecac4c 100644 --- a/tests/ui/coherence/impl[t]-foreign[local]-for-t.rs +++ b/tests/ui/coherence/impl[t]-foreign[local]-for-t.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[local_fundamental[t]]-for-foreign.rs b/tests/ui/coherence/impl[t]-foreign[local_fundamental[t]]-for-foreign.rs index 63c342b76f1..466e2f1665e 100644 --- a/tests/ui/coherence/impl[t]-foreign[local_fundamental[t]]-for-foreign.rs +++ b/tests/ui/coherence/impl[t]-foreign[local_fundamental[t]]-for-foreign.rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[t]-for-foreign.rs b/tests/ui/coherence/impl[t]-foreign[t]-for-foreign.rs index 9bb37c2baab..c23a2d87a69 100644 --- a/tests/ui/coherence/impl[t]-foreign[t]-for-foreign.rs +++ b/tests/ui/coherence/impl[t]-foreign[t]-for-foreign.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[t]-for-fundamental.rs b/tests/ui/coherence/impl[t]-foreign[t]-for-fundamental.rs index 79b5aa3fc62..e9426e5127a 100644 --- a/tests/ui/coherence/impl[t]-foreign[t]-for-fundamental.rs +++ b/tests/ui/coherence/impl[t]-foreign[t]-for-fundamental.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[t]-for-local.rs b/tests/ui/coherence/impl[t]-foreign[t]-for-local.rs index bc59721c088..2976df3d41e 100644 --- a/tests/ui/coherence/impl[t]-foreign[t]-for-local.rs +++ b/tests/ui/coherence/impl[t]-foreign[t]-for-local.rs @@ -1,6 +1,6 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs -// check-pass +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs +//@ check-pass extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/impl[t]-foreign[t]-for-t.rs b/tests/ui/coherence/impl[t]-foreign[t]-for-t.rs index bcd6b269a38..9c3e82ad762 100644 --- a/tests/ui/coherence/impl[t]-foreign[t]-for-t.rs +++ b/tests/ui/coherence/impl[t]-foreign[t]-for-t.rs @@ -1,5 +1,5 @@ -// compile-flags:--crate-name=test -// aux-build:coherence_lib.rs +//@ compile-flags:--crate-name=test +//@ aux-build:coherence_lib.rs extern crate coherence_lib as lib; use lib::*; diff --git a/tests/ui/coherence/indirect-impl-for-trait-obj-coherence.rs b/tests/ui/coherence/indirect-impl-for-trait-obj-coherence.rs index bb46498f90e..201a46a166a 100644 --- a/tests/ui/coherence/indirect-impl-for-trait-obj-coherence.rs +++ b/tests/ui/coherence/indirect-impl-for-trait-obj-coherence.rs @@ -1,5 +1,5 @@ -// check-pass -// known-bug: #57893 +//@ check-pass +//@ known-bug: #57893 // Should fail. Because we see an impl that uses a certain associated type, we // type-check assuming that impl is used. However, this conflicts with the diff --git a/tests/ui/coherence/inter-crate-ambiguity-causes-notes.rs b/tests/ui/coherence/inter-crate-ambiguity-causes-notes.rs index 0f785b4e5f6..3dead2f0d19 100644 --- a/tests/ui/coherence/inter-crate-ambiguity-causes-notes.rs +++ b/tests/ui/coherence/inter-crate-ambiguity-causes-notes.rs @@ -1,5 +1,5 @@ -// revisions: old next -//[next] compile-flags: -Znext-solver +//@ revisions: old next +//@[next] compile-flags: -Znext-solver struct S; diff --git a/tests/ui/coherence/issue-99663-2.rs b/tests/ui/coherence/issue-99663-2.rs index 10a0a568849..675e9fdfdba 100644 --- a/tests/ui/coherence/issue-99663-2.rs +++ b/tests/ui/coherence/issue-99663-2.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(type_alias_impl_trait)] diff --git a/tests/ui/coherence/issue-99663.rs b/tests/ui/coherence/issue-99663.rs index a2d4d398ce1..00d15977d8f 100644 --- a/tests/ui/coherence/issue-99663.rs +++ b/tests/ui/coherence/issue-99663.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass #![feature(type_alias_impl_trait)] diff --git a/tests/ui/coherence/negative-coherence-considering-regions.rs b/tests/ui/coherence/negative-coherence-considering-regions.rs index a43ad19eca7..79d5ef5ca3c 100644 --- a/tests/ui/coherence/negative-coherence-considering-regions.rs +++ b/tests/ui/coherence/negative-coherence-considering-regions.rs @@ -1,5 +1,5 @@ -// revisions: any_lt static_lt -//[static_lt] check-pass +//@ revisions: any_lt static_lt +//@[static_lt] check-pass #![feature(negative_impls)] #![feature(with_negative_coherence)] diff --git a/tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.rs b/tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.rs index 26d9d84d8f0..7967002e021 100644 --- a/tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.rs +++ b/tests/ui/coherence/negative-coherence-placeholder-region-constraints-on-unification.rs @@ -1,5 +1,5 @@ -// revisions: explicit implicit -//[implicit] check-pass +//@ revisions: explicit implicit +//@[implicit] check-pass #![forbid(coherence_leak_check)] #![feature(negative_impls, with_negative_coherence)] diff --git a/tests/ui/coherence/normalize-for-errors.rs b/tests/ui/coherence/normalize-for-errors.rs index 30723518bce..4d98ea609e9 100644 --- a/tests/ui/coherence/normalize-for-errors.rs +++ b/tests/ui/coherence/normalize-for-errors.rs @@ -1,5 +1,5 @@ -// revisions: current next -//[next] compile-flags: -Znext-solver +//@ revisions: current next +//@[next] compile-flags: -Znext-solver struct MyType; trait MyTrait<S> {} diff --git a/tests/ui/coherence/occurs-check/associated-type.rs b/tests/ui/coherence/occurs-check/associated-type.rs index 3df8fe10a83..ac1236c554a 100644 --- a/tests/ui/coherence/occurs-check/associated-type.rs +++ b/tests/ui/coherence/occurs-check/associated-type.rs @@ -1,5 +1,5 @@ -// revisions: old next -//[next] compile-flags: -Znext-solver +//@ revisions: old next +//@[next] compile-flags: -Znext-solver // A regression test for #105787 diff --git a/tests/ui/coherence/occurs-check/opaques.rs b/tests/ui/coherence/occurs-check/opaques.rs index 73cd42bf3f2..241a247c841 100644 --- a/tests/ui/coherence/occurs-check/opaques.rs +++ b/tests/ui/coherence/occurs-check/opaques.rs @@ -1,10 +1,10 @@ -//revisions: old next -//[next] compile-flags: -Znext-solver +//@revisions: old next +//@[next] compile-flags: -Znext-solver // A regression test for #105787 -//[old] known-bug: #105787 -//[old] check-pass +//@[old] known-bug: #105787 +//@[old] check-pass #![feature(type_alias_impl_trait)] mod defining_scope { use super::*; diff --git a/tests/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs b/tests/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs index d18e3f453c9..e33cd480ff9 100644 --- a/tests/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs +++ b/tests/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs @@ -1,5 +1,5 @@ -// run-pass -// aux-build:re_rebalance_coherence_lib-rpass.rs +//@ run-pass +//@ aux-build:re_rebalance_coherence_lib-rpass.rs #![allow(dead_code)] // check that a generic type with a default value from an associated type can be used without diff --git a/tests/ui/coherence/re-rebalance-coherence.rs b/tests/ui/coherence/re-rebalance-coherence.rs index 38d096b08e1..9c176d5b1b1 100644 --- a/tests/ui/coherence/re-rebalance-coherence.rs +++ b/tests/ui/coherence/re-rebalance-coherence.rs @@ -1,5 +1,5 @@ -// run-pass -// aux-build:re_rebalance_coherence_lib.rs +//@ run-pass +//@ aux-build:re_rebalance_coherence_lib.rs extern crate re_rebalance_coherence_lib as lib; use lib::*; |