diff options
| author | 许杰友 Jieyou Xu (Joe) <jieyouxu@outlook.com> | 2024-02-16 20:02:50 +0000 |
|---|---|---|
| committer | 许杰友 Jieyou Xu (Joe) <jieyouxu@outlook.com> | 2024-02-16 20:02:50 +0000 |
| commit | ec2cc761bc7067712ecc7734502f703fe3b024c8 (patch) | |
| tree | 7ab55cd9562da45b86c959f1b98c199b2b03ca92 /tests/ui/inference | |
| parent | e53d6dd35bb38b81dff4b00497f4c152e9009499 (diff) | |
| download | rust-ec2cc761bc7067712ecc7734502f703fe3b024c8.tar.gz rust-ec2cc761bc7067712ecc7734502f703fe3b024c8.zip | |
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
Diffstat (limited to 'tests/ui/inference')
25 files changed, 43 insertions, 43 deletions
diff --git a/tests/ui/inference/cannot-infer-async.rs b/tests/ui/inference/cannot-infer-async.rs index b5152d04f69..e4ab8f90e4b 100644 --- a/tests/ui/inference/cannot-infer-async.rs +++ b/tests/ui/inference/cannot-infer-async.rs @@ -1,4 +1,4 @@ -// edition:2018 +//@ edition:2018 use std::io::Error; diff --git a/tests/ui/inference/char-as-str-single.fixed b/tests/ui/inference/char-as-str-single.fixed index 1621a279f03..de27417a78d 100644 --- a/tests/ui/inference/char-as-str-single.fixed +++ b/tests/ui/inference/char-as-str-single.fixed @@ -3,7 +3,7 @@ // Testing both single-byte and multi-byte characters, as we should handle both. -// run-rustfix +//@ run-rustfix fn main() { let _: char = 'a'; //~ ERROR mismatched types diff --git a/tests/ui/inference/char-as-str-single.rs b/tests/ui/inference/char-as-str-single.rs index 2903142f159..456729a8308 100644 --- a/tests/ui/inference/char-as-str-single.rs +++ b/tests/ui/inference/char-as-str-single.rs @@ -3,7 +3,7 @@ // Testing both single-byte and multi-byte characters, as we should handle both. -// run-rustfix +//@ run-rustfix fn main() { let _: char = "a"; //~ ERROR mismatched types diff --git a/tests/ui/inference/infer-binary-operand-behind-reference.rs b/tests/ui/inference/infer-binary-operand-behind-reference.rs index 0c0a3171ee9..05b18ca104c 100644 --- a/tests/ui/inference/infer-binary-operand-behind-reference.rs +++ b/tests/ui/inference/infer-binary-operand-behind-reference.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass fn main() { // Test that we can infer the type of binary operands when diff --git a/tests/ui/inference/inference-variable-behind-raw-pointer.rs b/tests/ui/inference/inference-variable-behind-raw-pointer.rs index 6662e46b1c7..6a67cf593a5 100644 --- a/tests/ui/inference/inference-variable-behind-raw-pointer.rs +++ b/tests/ui/inference/inference-variable-behind-raw-pointer.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass // tests that the following code compiles, but produces a future-compatibility warning diff --git a/tests/ui/inference/inference_unstable.rs b/tests/ui/inference/inference_unstable.rs index ad76499591c..5a5ac66310d 100644 --- a/tests/ui/inference/inference_unstable.rs +++ b/tests/ui/inference/inference_unstable.rs @@ -1,9 +1,9 @@ // Ensures #[unstable] functions without opting in the corresponding #![feature] // will not break inference. -// aux-build:inference_unstable_iterator.rs -// aux-build:inference_unstable_itertools.rs -// run-pass +//@ aux-build:inference_unstable_iterator.rs +//@ aux-build:inference_unstable_itertools.rs +//@ run-pass extern crate inference_unstable_iterator; extern crate inference_unstable_itertools; diff --git a/tests/ui/inference/inference_unstable_featured.rs b/tests/ui/inference/inference_unstable_featured.rs index 792b29aaadc..dd8b8d6a470 100644 --- a/tests/ui/inference/inference_unstable_featured.rs +++ b/tests/ui/inference/inference_unstable_featured.rs @@ -1,8 +1,8 @@ // There should be E0034 "multiple applicable items in scope" if we opt-in for // the feature. -// aux-build:inference_unstable_iterator.rs -// aux-build:inference_unstable_itertools.rs +//@ aux-build:inference_unstable_iterator.rs +//@ aux-build:inference_unstable_itertools.rs #![feature(ipu_flatten)] diff --git a/tests/ui/inference/inference_unstable_forced.rs b/tests/ui/inference/inference_unstable_forced.rs index 649b3ed2a6f..f12db6f0164 100644 --- a/tests/ui/inference/inference_unstable_forced.rs +++ b/tests/ui/inference/inference_unstable_forced.rs @@ -1,7 +1,7 @@ // If the unstable API is the only possible solution, // still emit E0658 "use of unstable library feature". -// aux-build:inference_unstable_iterator.rs +//@ aux-build:inference_unstable_iterator.rs extern crate inference_unstable_iterator; diff --git a/tests/ui/inference/issue-113354.fixed b/tests/ui/inference/issue-113354.fixed index 804db985ae1..b9c84220764 100644 --- a/tests/ui/inference/issue-113354.fixed +++ b/tests/ui/inference/issue-113354.fixed @@ -1,4 +1,4 @@ -//run-rustfix +//@run-rustfix fn main() { let _ = || { while let Some(_) = Some(1) { } }; //~ ERROR mismatched types } diff --git a/tests/ui/inference/issue-113354.rs b/tests/ui/inference/issue-113354.rs index ec33d1f8b84..c4409a24312 100644 --- a/tests/ui/inference/issue-113354.rs +++ b/tests/ui/inference/issue-113354.rs @@ -1,4 +1,4 @@ -//run-rustfix +//@run-rustfix fn main() { let _ = || { while Some(_) = Some(1) { } }; //~ ERROR mismatched types } diff --git a/tests/ui/inference/issue-28935.rs b/tests/ui/inference/issue-28935.rs index 872822dbd0f..3f152808846 100644 --- a/tests/ui/inference/issue-28935.rs +++ b/tests/ui/inference/issue-28935.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass use std::cell::RefCell; diff --git a/tests/ui/inference/issue-36053.rs b/tests/ui/inference/issue-36053.rs index 8eee1c33b0e..6cc1c12a56f 100644 --- a/tests/ui/inference/issue-36053.rs +++ b/tests/ui/inference/issue-36053.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass // Regression test for #36053. ICE was caused due to obligations being // added to a special, dedicated fulfillment cx during a // probe. Problem seems to be related to the particular definition of diff --git a/tests/ui/inference/issue-70703.rs b/tests/ui/inference/issue-70703.rs index d90498e96ea..326859c9d03 100644 --- a/tests/ui/inference/issue-70703.rs +++ b/tests/ui/inference/issue-70703.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait Factory { type Product; diff --git a/tests/ui/inference/issue-71584.rs b/tests/ui/inference/issue-71584.rs index c96c32d5c0a..7e4d45ec4a0 100644 --- a/tests/ui/inference/issue-71584.rs +++ b/tests/ui/inference/issue-71584.rs @@ -1,4 +1,4 @@ -// ignore-windows different list of satisfying impls +//@ ignore-windows different list of satisfying impls fn main() { let n: u32 = 1; let mut d: u64 = 2; diff --git a/tests/ui/inference/issue-72616.rs b/tests/ui/inference/issue-72616.rs index 69ade1a7515..71e095cc6fc 100644 --- a/tests/ui/inference/issue-72616.rs +++ b/tests/ui/inference/issue-72616.rs @@ -1,4 +1,4 @@ -// ignore-wasm32 FIXME: ignoring wasm as it suggests slightly different impls +//@ ignore-wasm32 FIXME: ignoring wasm as it suggests slightly different impls // Regression test for #72616, it used to emit incorrect diagnostics, like: // error[E0283]: type annotations needed for `String` diff --git a/tests/ui/inference/issue-80409.rs b/tests/ui/inference/issue-80409.rs index 49c9978fe15..e54da78614f 100644 --- a/tests/ui/inference/issue-80409.rs +++ b/tests/ui/inference/issue-80409.rs @@ -2,16 +2,16 @@ // ignore-tidy-linelength -// revisions: compat no-compat -//[compat] check-pass -//[no-compat] compile-flags: -Zno-implied-bounds-compat -//[no-compat] check-fail -//[no-compat] known-bug: #80409 -//[no-compat] failure-status: 101 -//[no-compat] normalize-stderr-test "note: .*\n\n" -> "" -//[no-compat] normalize-stderr-test "thread 'rustc' panicked.*\n" -> "" -//[no-compat] normalize-stderr-test "(error: internal compiler error: [^:]+):\d+:\d+: " -> "$1:LL:CC: " -//[no-compat] rustc-env:RUST_BACKTRACE=0 +//@ revisions: compat no-compat +//@[compat] check-pass +//@[no-compat] compile-flags: -Zno-implied-bounds-compat +//@[no-compat] check-fail +//@[no-compat] known-bug: #80409 +//@[no-compat] failure-status: 101 +//@[no-compat] normalize-stderr-test "note: .*\n\n" -> "" +//@[no-compat] normalize-stderr-test "thread 'rustc' panicked.*\n" -> "" +//@[no-compat] normalize-stderr-test "(error: internal compiler error: [^:]+):\d+:\d+: " -> "$1:LL:CC: " +//@[no-compat] rustc-env:RUST_BACKTRACE=0 #![allow(unreachable_code, unused)] diff --git a/tests/ui/inference/issue-81522.rs b/tests/ui/inference/issue-81522.rs index 902f8fdde58..859e5dcfe0c 100644 --- a/tests/ui/inference/issue-81522.rs +++ b/tests/ui/inference/issue-81522.rs @@ -3,9 +3,9 @@ // suppresses the corresponding diagnostics emitted from inside them. // But note that this attribute doesn't work for macro invocations if it is appended directly. -// aux-build:inference_unstable_iterator.rs -// aux-build:inference_unstable_itertools.rs -// run-pass +//@ aux-build:inference_unstable_iterator.rs +//@ aux-build:inference_unstable_itertools.rs +//@ run-pass extern crate inference_unstable_iterator; extern crate inference_unstable_itertools; diff --git a/tests/ui/inference/lub-glb-with-unbound-infer-var.rs b/tests/ui/inference/lub-glb-with-unbound-infer-var.rs index c9e117089f5..8660b62016f 100644 --- a/tests/ui/inference/lub-glb-with-unbound-infer-var.rs +++ b/tests/ui/inference/lub-glb-with-unbound-infer-var.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass // Test for a specific corner case: when we compute the LUB of two fn // types and their parameters have unbound variables. In that case, we // wind up relating those two variables. This was causing an ICE in an diff --git a/tests/ui/inference/newlambdas-ret-infer.rs b/tests/ui/inference/newlambdas-ret-infer.rs index 9b629838ffd..893b62e967d 100644 --- a/tests/ui/inference/newlambdas-ret-infer.rs +++ b/tests/ui/inference/newlambdas-ret-infer.rs @@ -1,10 +1,10 @@ -// run-pass +//@ run-pass #![allow(dead_code)] // Test that the lambda kind is inferred correctly as a return // expression -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 fn unique() -> Box<dyn FnMut()+'static> { return Box::new(|| ()); } diff --git a/tests/ui/inference/newlambdas-ret-infer2.rs b/tests/ui/inference/newlambdas-ret-infer2.rs index abe31a05f22..cad8b02910b 100644 --- a/tests/ui/inference/newlambdas-ret-infer2.rs +++ b/tests/ui/inference/newlambdas-ret-infer2.rs @@ -1,10 +1,10 @@ -// run-pass +//@ run-pass #![allow(dead_code)] // Test that the lambda kind is inferred correctly as a return // expression -// pretty-expanded FIXME #23616 +//@ pretty-expanded FIXME #23616 fn unique() -> Box<dyn FnMut()+'static> { Box::new(|| ()) } diff --git a/tests/ui/inference/range-type-infer.rs b/tests/ui/inference/range-type-infer.rs index f07c041717f..1b449656634 100644 --- a/tests/ui/inference/range-type-infer.rs +++ b/tests/ui/inference/range-type-infer.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![allow(unused_must_use)] // Make sure the type inference for the new range expression work as diff --git a/tests/ui/inference/simple-infer.rs b/tests/ui/inference/simple-infer.rs index 561e4fdec7c..e933299f386 100644 --- a/tests/ui/inference/simple-infer.rs +++ b/tests/ui/inference/simple-infer.rs @@ -1,4 +1,4 @@ -// run-pass +//@ run-pass #![allow(unused_mut)] diff --git a/tests/ui/inference/str-as-char.fixed b/tests/ui/inference/str-as-char.fixed index 911b067c4d1..2032723f9de 100644 --- a/tests/ui/inference/str-as-char.fixed +++ b/tests/ui/inference/str-as-char.fixed @@ -1,7 +1,7 @@ // When a char literal is used where a str should be, // suggest changing to double quotes. -// run-rustfix +//@ run-rustfix fn main() { let _: &str = "a"; //~ ERROR mismatched types diff --git a/tests/ui/inference/str-as-char.rs b/tests/ui/inference/str-as-char.rs index 832bc871a9e..7680bce03b8 100644 --- a/tests/ui/inference/str-as-char.rs +++ b/tests/ui/inference/str-as-char.rs @@ -1,7 +1,7 @@ // When a char literal is used where a str should be, // suggest changing to double quotes. -// run-rustfix +//@ run-rustfix fn main() { let _: &str = 'a'; //~ ERROR mismatched types diff --git a/tests/ui/inference/type-infer-generalize-ty-var.rs b/tests/ui/inference/type-infer-generalize-ty-var.rs index 6bf3c61ada8..8dae835a9db 100644 --- a/tests/ui/inference/type-infer-generalize-ty-var.rs +++ b/tests/ui/inference/type-infer-generalize-ty-var.rs @@ -1,6 +1,6 @@ -// check-pass -// revisions: current next -//[next] compile-flags: -Znext-solver +//@ check-pass +//@ revisions: current next +//@[next] compile-flags: -Znext-solver #![allow(non_upper_case_globals)] #![allow(dead_code)] |
