tests/ui/test-attrs: add annotations for reference rules

DanielEScherzer · DanielEScherzer · commit cd772556d2cd · 2026-02-17T12:52:07.000-08:00
diff --git a/tests/ui/test-attrs/issue-109816.rs b/tests/ui/test-attrs/issue-109816.rs
@@ -1,4 +1,5 @@
 //@ compile-flags: --test
+//@ reference: attributes.testing.test.allowed-positions
 
 fn align_offset_weird_strides() {
     #[test]
diff --git a/tests/ui/test-attrs/issue-109816.stderr b/tests/ui/test-attrs/issue-109816.stderr
@@ -1,5 +1,5 @@
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/issue-109816.rs:4:5
+  --> $DIR/issue-109816.rs:5:5
    |
 LL |     #[test]
    |     ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
diff --git a/tests/ui/test-attrs/test-attr-non-associated-functions.rs b/tests/ui/test-attrs/test-attr-non-associated-functions.rs
@@ -1,4 +1,5 @@
 //@ compile-flags:--test
+//@ reference: attributes.testing.test.allowed-positions
 
 struct A {}
 
diff --git a/tests/ui/test-attrs/test-attr-non-associated-functions.stderr b/tests/ui/test-attrs/test-attr-non-associated-functions.stderr
@@ -1,5 +1,5 @@
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-attr-non-associated-functions.rs:6:5
+  --> $DIR/test-attr-non-associated-functions.rs:7:5
    |
 LL |     #[test]
    |     ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -11,7 +11,7 @@ LL +     #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-attr-non-associated-functions.rs:11:5
+  --> $DIR/test-attr-non-associated-functions.rs:12:5
    |
 LL |     #[test]
    |     ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
diff --git a/tests/ui/test-attrs/test-function-signature.rs b/tests/ui/test-attrs/test-function-signature.rs
@@ -1,4 +1,5 @@
 //@ compile-flags: --test
+//@ reference: attributes.testing.test.allowed-positions
 
 #[test]
 fn foo() -> Result<(), ()> {
diff --git a/tests/ui/test-attrs/test-function-signature.stderr b/tests/ui/test-attrs/test-function-signature.stderr
@@ -1,29 +1,29 @@
 error: functions used as tests can not have any arguments
-  --> $DIR/test-function-signature.rs:14:1
+  --> $DIR/test-function-signature.rs:15:1
    |
 LL | fn baz(val: i32) {}
    | ^^^^^^^^^^^^^^^^^^^
 
 error: functions used as tests can not have any non-lifetime generic parameters
-  --> $DIR/test-function-signature.rs:22:1
+  --> $DIR/test-function-signature.rs:23:1
    |
 LL | fn type_generic<T>() {}
    | ^^^^^^^^^^^^^^^^^^^^^^^
 
 error: functions used as tests can not have any non-lifetime generic parameters
-  --> $DIR/test-function-signature.rs:25:1
+  --> $DIR/test-function-signature.rs:26:1
    |
 LL | fn const_generic<const N: usize>() {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: functions used as tests can not have any arguments
-  --> $DIR/test-function-signature.rs:30:5
+  --> $DIR/test-function-signature.rs:31:5
    |
 LL |     fn foo(arg: ()) {}
    |     ^^^^^^^^^^^^^^^^^^
 
 error[E0277]: the trait bound `i32: Termination` is not satisfied
-  --> $DIR/test-function-signature.rs:9:13
+  --> $DIR/test-function-signature.rs:10:13
    |
 LL | #[test]
    | ------- in this attribute macro expansion
diff --git a/tests/ui/test-attrs/test-on-not-fn.rs b/tests/ui/test-attrs/test-on-not-fn.rs
@@ -1,4 +1,5 @@
 //@ compile-flags: --test
+//@ reference: attributes.testing.test.allowed-positions
 
 #[test] //~ ERROR: the `#[test]` attribute may only be used on a free function
 mod test {}
diff --git a/tests/ui/test-attrs/test-on-not-fn.stderr b/tests/ui/test-attrs/test-on-not-fn.stderr
@@ -1,5 +1,5 @@
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:3:1
+  --> $DIR/test-on-not-fn.rs:4:1
    |
 LL | #[test]
    | ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -13,7 +13,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:6:1
+  --> $DIR/test-on-not-fn.rs:7:1
    |
 LL |   #[test]
    |   ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -33,7 +33,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:20:1
+  --> $DIR/test-on-not-fn.rs:21:1
    |
 LL | #[test]
    | ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -47,7 +47,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:23:1
+  --> $DIR/test-on-not-fn.rs:24:1
    |
 LL | #[test]
    | ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -61,7 +61,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:26:1
+  --> $DIR/test-on-not-fn.rs:27:1
    |
 LL | #[test]
    | ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -75,7 +75,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:29:1
+  --> $DIR/test-on-not-fn.rs:30:1
    |
 LL | #[test]
    | ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -89,7 +89,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:32:1
+  --> $DIR/test-on-not-fn.rs:33:1
    |
 LL | #[test]
    | ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -103,7 +103,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:35:1
+  --> $DIR/test-on-not-fn.rs:36:1
    |
 LL |   #[test]
    |   ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -119,7 +119,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:40:1
+  --> $DIR/test-on-not-fn.rs:41:1
    |
 LL | #[test]
    | ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -133,7 +133,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:43:1
+  --> $DIR/test-on-not-fn.rs:44:1
    |
 LL |   #[test]
    |   ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -150,7 +150,7 @@ LL + #[cfg(test)]
    |
 
 error: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:50:1
+  --> $DIR/test-on-not-fn.rs:51:1
    |
 LL |   #[test]
    |   ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
@@ -168,7 +168,7 @@ LL + #[cfg(test)]
    |
 
 warning: the `#[test]` attribute may only be used on a free function
-  --> $DIR/test-on-not-fn.rs:61:1
+  --> $DIR/test-on-not-fn.rs:62:1
    |
 LL | #[test]
    | ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
diff --git a/tests/ui/test-attrs/test-passed.rs b/tests/ui/test-attrs/test-passed.rs
@@ -4,6 +4,7 @@
 //@ run-pass
 //@ check-run-results
 //@ normalize-stdout: "finished in \d+\.\d+s" -> "finished in $$TIME"
+//@ reference: attributes.testing.test.intro
 
 // Tests the output of the test harness with only passed tests.
 
diff --git a/tests/ui/test-attrs/test-should-panic-attr.rs b/tests/ui/test-attrs/test-should-panic-attr.rs
@@ -1,4 +1,5 @@
 //@ compile-flags: --test
+//@ reference: attributes.testing.should_panic.syntax
 
 #[test]
 #[should_panic = "foo"]
diff --git a/tests/ui/test-attrs/test-should-panic-attr.stderr b/tests/ui/test-attrs/test-should-panic-attr.stderr
@@ -1,5 +1,5 @@
 error[E0539]: malformed `should_panic` attribute input
-  --> $DIR/test-should-panic-attr.rs:10:1
+  --> $DIR/test-should-panic-attr.rs:11:1
    |
 LL | #[should_panic(expected)]
    | ^^^^^^^^^^^^^^^--------^^
@@ -19,7 +19,7 @@ LL + #[should_panic]
    |
 
 error[E0539]: malformed `should_panic` attribute input
-  --> $DIR/test-should-panic-attr.rs:19:1
+  --> $DIR/test-should-panic-attr.rs:20:1
    |
 LL | #[should_panic(expect)]
    | ^^^^^^^^^^^^^^--------^
@@ -39,7 +39,7 @@ LL + #[should_panic]
    |
 
 error[E0539]: malformed `should_panic` attribute input
-  --> $DIR/test-should-panic-attr.rs:28:1
+  --> $DIR/test-should-panic-attr.rs:29:1
    |
 LL | #[should_panic(expected(foo, bar))]
    | ^^^^^^^^^^^^^^^------------------^^
@@ -60,7 +60,7 @@ LL + #[should_panic]
    |
 
 error[E0805]: malformed `should_panic` attribute input
-  --> $DIR/test-should-panic-attr.rs:37:1
+  --> $DIR/test-should-panic-attr.rs:38:1
    |
 LL | #[should_panic(expected = "foo", bar)]
    | ^^^^^^^^^^^^^^-----------------------^
diff --git a/tests/ui/test-attrs/test-should-panic-failed-show-span.rs b/tests/ui/test-attrs/test-should-panic-failed-show-span.rs
@@ -8,6 +8,7 @@
 //@ normalize-stdout: "TypeId\(0x[0-9a-f]+\)" -> "TypeId($$HEX)"
 //@ needs-threads
 //@ needs-unwind (panic)
+//@ reference: attributes.testing.should_panic.expected
 
 #[test]
 #[should_panic]
diff --git a/tests/ui/test-attrs/test-should-panic-failed-show-span.run.stderr b/tests/ui/test-attrs/test-should-panic-failed-show-span.run.stderr
@@ -1,13 +1,13 @@
 
-thread 'should_panic_with_any_message' ($TID) panicked at $DIR/test-should-panic-failed-show-span.rs:15:5:
+thread 'should_panic_with_any_message' ($TID) panicked at $DIR/test-should-panic-failed-show-span.rs:16:5:
 Panic!
 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
 
-thread 'should_panic_with_message' ($TID) panicked at $DIR/test-should-panic-failed-show-span.rs:21:5:
+thread 'should_panic_with_message' ($TID) panicked at $DIR/test-should-panic-failed-show-span.rs:22:5:
 message
 
-thread 'should_panic_with_substring_panics_with_incorrect_string' ($TID) panicked at $DIR/test-should-panic-failed-show-span.rs:39:5:
+thread 'should_panic_with_substring_panics_with_incorrect_string' ($TID) panicked at $DIR/test-should-panic-failed-show-span.rs:40:5:
 ZOMGWTFBBQ
 
-thread 'should_panic_with_substring_panics_with_non_string_value' ($TID) panicked at $DIR/test-should-panic-failed-show-span.rs:46:5:
+thread 'should_panic_with_substring_panics_with_non_string_value' ($TID) panicked at $DIR/test-should-panic-failed-show-span.rs:47:5:
 Box<dyn Any>
diff --git a/tests/ui/test-attrs/test-should-panic-failed-show-span.run.stdout b/tests/ui/test-attrs/test-should-panic-failed-show-span.run.stdout
@@ -10,9 +10,9 @@ test should_panic_with_substring_panics_with_non_string_value - should panic ...
 failures:
 
 ---- should_panic_with_any_message_does_not_panic stdout ----
-note: test did not panic as expected at $DIR/test-should-panic-failed-show-span.rs:26:4
+note: test did not panic as expected at $DIR/test-should-panic-failed-show-span.rs:27:4
 ---- should_panic_with_message_does_not_panic stdout ----
-note: test did not panic as expected at $DIR/test-should-panic-failed-show-span.rs:32:4
+note: test did not panic as expected at $DIR/test-should-panic-failed-show-span.rs:33:4
 ---- should_panic_with_substring_panics_with_incorrect_string stdout ----
 note: panic did not contain expected string
       panic message: "ZOMGWTFBBQ"
diff --git a/tests/ui/test-attrs/test-vs-cfg-test.rs b/tests/ui/test-attrs/test-vs-cfg-test.rs
@@ -1,5 +1,6 @@
 //@ run-pass
 //@ compile-flags: --cfg test
+//@ reference: cfg.test
 
 // Make sure `--cfg test` does not inject test harness
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`//@ compile-flags: --test`
	`2`	`+//@ reference: attributes.testing.test.allowed-positions`
`2`	`3`
`3`	`4`	`fn align_offset_weird_strides() {`
`4`	`5`	`#[test]`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error: the `#[test]` attribute may only be used on a free function
`2`		`- --> $DIR/issue-109816.rs:4:5`
	`2`	`+ --> $DIR/issue-109816.rs:5:5`
`3`	`3`	`\|`
`4`	`4`	`LL \| #[test]`
`5`	`5`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`//@ compile-flags:--test`
	`2`	`+//@ reference: attributes.testing.test.allowed-positions`
`2`	`3`
`3`	`4`	`struct A {}`
`4`	`5`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error: the `#[test]` attribute may only be used on a free function
`2`		`- --> $DIR/test-attr-non-associated-functions.rs:6:5`
	`2`	`+ --> $DIR/test-attr-non-associated-functions.rs:7:5`
`3`	`3`	`\|`
`4`	`4`	`LL \| #[test]`
`5`	`5`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -11,7 +11,7 @@ LL + #[cfg(test)]`
`11`	`11`	`\|`
`12`	`12`
`13`	`13`	error: the `#[test]` attribute may only be used on a free function
`14`		`- --> $DIR/test-attr-non-associated-functions.rs:11:5`
	`14`	`+ --> $DIR/test-attr-non-associated-functions.rs:12:5`
`15`	`15`	`\|`
`16`	`16`	`LL \| #[test]`
`17`	`17`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error: the `#[test]` attribute may only be used on a free function
`2`		`- --> $DIR/test-on-not-fn.rs:3:1`
	`2`	`+ --> $DIR/test-on-not-fn.rs:4:1`
`3`	`3`	`\|`
`4`	`4`	`LL \| #[test]`
`5`	`5`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -13,7 +13,7 @@ LL + #[cfg(test)]`
`13`	`13`	`\|`
`14`	`14`
`15`	`15`	error: the `#[test]` attribute may only be used on a free function
`16`		`- --> $DIR/test-on-not-fn.rs:6:1`
	`16`	`+ --> $DIR/test-on-not-fn.rs:7:1`
`17`	`17`	`\|`
`18`	`18`	`LL \| #[test]`
`19`	`19`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -33,7 +33,7 @@ LL + #[cfg(test)]`
`33`	`33`	`\|`
`34`	`34`
`35`	`35`	error: the `#[test]` attribute may only be used on a free function
`36`		`- --> $DIR/test-on-not-fn.rs:20:1`
	`36`	`+ --> $DIR/test-on-not-fn.rs:21:1`
`37`	`37`	`\|`
`38`	`38`	`LL \| #[test]`
`39`	`39`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -47,7 +47,7 @@ LL + #[cfg(test)]`
`47`	`47`	`\|`
`48`	`48`
`49`	`49`	error: the `#[test]` attribute may only be used on a free function
`50`		`- --> $DIR/test-on-not-fn.rs:23:1`
	`50`	`+ --> $DIR/test-on-not-fn.rs:24:1`
`51`	`51`	`\|`
`52`	`52`	`LL \| #[test]`
`53`	`53`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -61,7 +61,7 @@ LL + #[cfg(test)]`
`61`	`61`	`\|`
`62`	`62`
`63`	`63`	error: the `#[test]` attribute may only be used on a free function
`64`		`- --> $DIR/test-on-not-fn.rs:26:1`
	`64`	`+ --> $DIR/test-on-not-fn.rs:27:1`
`65`	`65`	`\|`
`66`	`66`	`LL \| #[test]`
`67`	`67`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -75,7 +75,7 @@ LL + #[cfg(test)]`
`75`	`75`	`\|`
`76`	`76`
`77`	`77`	error: the `#[test]` attribute may only be used on a free function
`78`		`- --> $DIR/test-on-not-fn.rs:29:1`
	`78`	`+ --> $DIR/test-on-not-fn.rs:30:1`
`79`	`79`	`\|`
`80`	`80`	`LL \| #[test]`
`81`	`81`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -89,7 +89,7 @@ LL + #[cfg(test)]`
`89`	`89`	`\|`
`90`	`90`
`91`	`91`	error: the `#[test]` attribute may only be used on a free function
`92`		`- --> $DIR/test-on-not-fn.rs:32:1`
	`92`	`+ --> $DIR/test-on-not-fn.rs:33:1`
`93`	`93`	`\|`
`94`	`94`	`LL \| #[test]`
`95`	`95`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -103,7 +103,7 @@ LL + #[cfg(test)]`
`103`	`103`	`\|`
`104`	`104`
`105`	`105`	error: the `#[test]` attribute may only be used on a free function
`106`		`- --> $DIR/test-on-not-fn.rs:35:1`
	`106`	`+ --> $DIR/test-on-not-fn.rs:36:1`
`107`	`107`	`\|`
`108`	`108`	`LL \| #[test]`
`109`	`109`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -119,7 +119,7 @@ LL + #[cfg(test)]`
`119`	`119`	`\|`
`120`	`120`
`121`	`121`	error: the `#[test]` attribute may only be used on a free function
`122`		`- --> $DIR/test-on-not-fn.rs:40:1`
	`122`	`+ --> $DIR/test-on-not-fn.rs:41:1`
`123`	`123`	`\|`
`124`	`124`	`LL \| #[test]`
`125`	`125`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -133,7 +133,7 @@ LL + #[cfg(test)]`
`133`	`133`	`\|`
`134`	`134`
`135`	`135`	error: the `#[test]` attribute may only be used on a free function
`136`		`- --> $DIR/test-on-not-fn.rs:43:1`
	`136`	`+ --> $DIR/test-on-not-fn.rs:44:1`
`137`	`137`	`\|`
`138`	`138`	`LL \| #[test]`
`139`	`139`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -150,7 +150,7 @@ LL + #[cfg(test)]`
`150`	`150`	`\|`
`151`	`151`
`152`	`152`	error: the `#[test]` attribute may only be used on a free function
`153`		`- --> $DIR/test-on-not-fn.rs:50:1`
	`153`	`+ --> $DIR/test-on-not-fn.rs:51:1`
`154`	`154`	`\|`
`155`	`155`	`LL \| #[test]`
`156`	`156`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
`@@ -168,7 +168,7 @@ LL + #[cfg(test)]`
`168`	`168`	`\|`
`169`	`169`
`170`	`170`	warning: the `#[test]` attribute may only be used on a free function
`171`		`- --> $DIR/test-on-not-fn.rs:61:1`
	`171`	`+ --> $DIR/test-on-not-fn.rs:62:1`
`172`	`172`	`\|`
`173`	`173`	`LL \| #[test]`
`174`	`174`	\| ^^^^^^^ the `#[test]` macro causes a function to be run as a test and has no effect on non-functions
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`//@ compile-flags: --test`
	`2`	`+//@ reference: attributes.testing.should_panic.syntax`
`2`	`3`
`3`	`4`	`#[test]`
`4`	`5`	`#[should_panic = "foo"]`