about summary refs log tree commit diff
path: root/tests/ui/inference
diff options
context:
space:
mode:
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
commitec2cc761bc7067712ecc7734502f703fe3b024c8 (patch)
tree7ab55cd9562da45b86c959f1b98c199b2b03ca92 /tests/ui/inference
parente53d6dd35bb38b81dff4b00497f4c152e9009499 (diff)
downloadrust-ec2cc761bc7067712ecc7734502f703fe3b024c8.tar.gz
rust-ec2cc761bc7067712ecc7734502f703fe3b024c8.zip
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
Diffstat (limited to 'tests/ui/inference')
-rw-r--r--tests/ui/inference/cannot-infer-async.rs2
-rw-r--r--tests/ui/inference/char-as-str-single.fixed2
-rw-r--r--tests/ui/inference/char-as-str-single.rs2
-rw-r--r--tests/ui/inference/infer-binary-operand-behind-reference.rs2
-rw-r--r--tests/ui/inference/inference-variable-behind-raw-pointer.rs2
-rw-r--r--tests/ui/inference/inference_unstable.rs6
-rw-r--r--tests/ui/inference/inference_unstable_featured.rs4
-rw-r--r--tests/ui/inference/inference_unstable_forced.rs2
-rw-r--r--tests/ui/inference/issue-113354.fixed2
-rw-r--r--tests/ui/inference/issue-113354.rs2
-rw-r--r--tests/ui/inference/issue-28935.rs2
-rw-r--r--tests/ui/inference/issue-36053.rs2
-rw-r--r--tests/ui/inference/issue-70703.rs2
-rw-r--r--tests/ui/inference/issue-71584.rs2
-rw-r--r--tests/ui/inference/issue-72616.rs2
-rw-r--r--tests/ui/inference/issue-80409.rs20
-rw-r--r--tests/ui/inference/issue-81522.rs6
-rw-r--r--tests/ui/inference/lub-glb-with-unbound-infer-var.rs2
-rw-r--r--tests/ui/inference/newlambdas-ret-infer.rs4
-rw-r--r--tests/ui/inference/newlambdas-ret-infer2.rs4
-rw-r--r--tests/ui/inference/range-type-infer.rs2
-rw-r--r--tests/ui/inference/simple-infer.rs2
-rw-r--r--tests/ui/inference/str-as-char.fixed2
-rw-r--r--tests/ui/inference/str-as-char.rs2
-rw-r--r--tests/ui/inference/type-infer-generalize-ty-var.rs6
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)]