Reorganize UI tests after migration

rishi-techo-14 · rishi-techo-14 · commit 95b0165bf755 · 2026-04-08T22:21:06.000+05:30
-Rename tests for clarity.
-Add issue links and descriptions.
-Clean up formatting and comments.
diff --git a/tests/ui/borrowck/cannot-move-out-of-borrowed-field.rs b/tests/ui/borrowck/cannot-move-out-of-borrowed-field.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/2590
+
 struct Parser {
     tokens: Vec<isize> ,
 }
diff --git a/tests/ui/borrowck/cannot-move-out-of-borrowed-field.stderr b/tests/ui/borrowck/cannot-move-out-of-borrowed-field.stderr
@@ -1,5 +1,5 @@
 error[E0507]: cannot move out of `self.tokens` which is behind a shared reference
-  --> $DIR/issue-2590.rs:11:9
+  --> $DIR/cannot-move-out-of-borrowed-field.rs:13:9
    |
 LL |         self.tokens
    |         ^^^^^^^^^^^ move occurs because `self.tokens` has type `Vec<isize>`, which does not implement the `Copy` trait
diff --git a/tests/ui/borrowck/move-out-of-borrowed-content-in-closure.rs b/tests/ui/borrowck/move-out-of-borrowed-content-in-closure.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/4335
+
 #![feature(fn_traits)]
 
 fn id<T>(t: T) -> T { t }
diff --git a/tests/ui/borrowck/move-out-of-borrowed-content-in-closure.stderr b/tests/ui/borrowck/move-out-of-borrowed-content-in-closure.stderr
@@ -1,5 +1,5 @@
 error[E0507]: cannot move out of `*v`, as `v` is a captured variable in an `FnMut` closure
-  --> $DIR/issue-4335.rs:6:20
+  --> $DIR/move-out-of-borrowed-content-in-closure.rs:8:20
    |
 LL | fn f<'r, T>(v: &'r T) -> Box<dyn FnMut() -> T + 'r> {
    |             -  ----- move occurs because `*v` has type `T`, which does not implement the `Copy` trait
@@ -12,7 +12,7 @@ LL |     id(Box::new(|| *v))
    |
    = help: `Fn` and `FnMut` closures require captured values to be able to be consumed multiple times, but `FnOnce` closures may consume them only once
 help: if `T` implemented `Clone`, you could clone the value
-  --> $DIR/issue-4335.rs:5:10
+  --> $DIR/move-out-of-borrowed-content-in-closure.rs:7:10
    |
 LL | fn f<'r, T>(v: &'r T) -> Box<dyn FnMut() -> T + 'r> {
    |          ^ consider constraining this type parameter with `Clone`
diff --git a/tests/ui/closures/capture-dynamic-environment.rs b/tests/ui/closures/capture-dynamic-environment.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/3021
+
 fn siphash(k0 : u64) {
 
     struct SipHash {
diff --git a/tests/ui/closures/capture-dynamic-environment.stderr b/tests/ui/closures/capture-dynamic-environment.stderr
@@ -1,5 +1,5 @@
 error[E0434]: can't capture dynamic environment in a fn item
-  --> $DIR/issue-3021-b.rs:9:22
+  --> $DIR/capture-dynamic-environment.rs:11:22
    |
 LL |            self.v0 = k0 ^ 0x736f6d6570736575;
    |                      ^^
diff --git a/tests/ui/consts/const-eval-cycle-detection.rs b/tests/ui/consts/const-eval-cycle-detection.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/17252
+
 const FOO: usize = FOO; //~ ERROR E0391
 //@ ignore-parallel-frontend query cycle
 fn main() {
diff --git a/tests/ui/consts/const-eval-cycle-detection.stderr b/tests/ui/consts/const-eval-cycle-detection.stderr
@@ -1,36 +1,36 @@
 error[E0391]: cycle detected when checking if `FOO` is a trivial const
-  --> $DIR/issue-17252.rs:1:1
+  --> $DIR/const-eval-cycle-detection.rs:3:1
    |
 LL | const FOO: usize = FOO;
    | ^^^^^^^^^^^^^^^^
    |
 note: ...which requires building MIR for `FOO`...
-  --> $DIR/issue-17252.rs:1:1
+  --> $DIR/const-eval-cycle-detection.rs:3:1
    |
 LL | const FOO: usize = FOO;
    | ^^^^^^^^^^^^^^^^
    = note: ...which again requires checking if `FOO` is a trivial const, completing the cycle
 note: cycle used when simplifying constant for the type system `FOO`
-  --> $DIR/issue-17252.rs:1:1
+  --> $DIR/const-eval-cycle-detection.rs:3:1
    |
 LL | const FOO: usize = FOO;
    | ^^^^^^^^^^^^^^^^
    = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
 
 error[E0391]: cycle detected when checking if `main::BAR` is a trivial const
-  --> $DIR/issue-17252.rs:6:9
+  --> $DIR/const-eval-cycle-detection.rs:8:9
    |
 LL |         const BAR: usize = BAR;
    |         ^^^^^^^^^^^^^^^^
    |
 note: ...which requires building MIR for `main::BAR`...
-  --> $DIR/issue-17252.rs:6:9
+  --> $DIR/const-eval-cycle-detection.rs:8:9
    |
 LL |         const BAR: usize = BAR;
    |         ^^^^^^^^^^^^^^^^
    = note: ...which again requires checking if `main::BAR` is a trivial const, completing the cycle
 note: cycle used when simplifying constant for the type system `main::BAR`
-  --> $DIR/issue-17252.rs:6:9
+  --> $DIR/const-eval-cycle-detection.rs:8:9
    |
 LL |         const BAR: usize = BAR;
    |         ^^^^^^^^^^^^^^^^
diff --git a/tests/ui/lint/unreachable-code-in-loop.rs b/tests/ui/lint/unreachable-code-in-loop.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/2150
+
 #![deny(unreachable_code)]
 #![allow(unused_variables)]
 #![allow(dead_code)]
diff --git a/tests/ui/lint/unreachable-code-in-loop.stderr b/tests/ui/lint/unreachable-code-in-loop.stderr
@@ -1,13 +1,13 @@
 error: unreachable statement
-  --> $DIR/issue-2150.rs:8:5
+  --> $DIR/unreachable-code-in-loop.rs:10:5
    |
 LL |     panic!();
    |     -------- any code following this expression is unreachable
 LL |     for x in &v { i += 1; }
    |     ^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement
    |
 note: the lint level is defined here
-  --> $DIR/issue-2150.rs:1:9
+  --> $DIR/unreachable-code-in-loop.rs:3:9
    |
 LL | #![deny(unreachable_code)]
    |         ^^^^^^^^^^^^^^^^
diff --git a/tests/ui/pattern/box-pattern-trait-object-deref-error.rs b/tests/ui/pattern/box-pattern-trait-object-deref-error.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/4972
+
 #![feature(box_patterns)]
 
 trait MyTrait {
diff --git a/tests/ui/pattern/box-pattern-trait-object-deref-error.stderr b/tests/ui/pattern/box-pattern-trait-object-deref-error.stderr
@@ -1,5 +1,5 @@
 error[E0033]: type `Box<(dyn MyTrait + 'static)>` cannot be dereferenced
-  --> $DIR/issue-4972.rs:13:25
+  --> $DIR/box-pattern-trait-object-deref-error.rs:15:25
    |
 LL |         TraitWrapper::A(box ref map) => map,
    |                         ^^^^^^^^^^^ type `Box<(dyn MyTrait + 'static)>` cannot be dereferenced
diff --git a/tests/ui/pattern/pattern-mismatched-types-diagnostics.rs b/tests/ui/pattern/pattern-mismatched-types-diagnostics.rs
@@ -1,4 +1,5 @@
 //@ dont-require-annotations: NOTE
+// https://github.com/rust-lang/rust/issues/5100
 
 #![feature(box_patterns)]
 
diff --git a/tests/ui/pattern/pattern-mismatched-types-diagnostics.stderr b/tests/ui/pattern/pattern-mismatched-types-diagnostics.stderr
@@ -1,5 +1,5 @@
 error[E0308]: mismatched types
-  --> $DIR/issue-5100.rs:9:9
+  --> $DIR/pattern-mismatched-types-diagnostics.rs:10:9
    |
 LL |     match (true, false) {
    |           ------------- this expression has type `(bool, bool)`
@@ -10,7 +10,7 @@ LL |         A::B => (),
                found enum `A`
 
 error[E0308]: mismatched types
-  --> $DIR/issue-5100.rs:18:9
+  --> $DIR/pattern-mismatched-types-diagnostics.rs:19:9
    |
 LL |     match (true, false) {
    |           ------------- this expression has type `(bool, bool)`
@@ -21,7 +21,7 @@ LL |         (true, false, false) => ()
               found tuple `(_, _, _)`
 
 error[E0308]: mismatched types
-  --> $DIR/issue-5100.rs:26:9
+  --> $DIR/pattern-mismatched-types-diagnostics.rs:27:9
    |
 LL |     match (true, false) {
    |           ------------- this expression has type `(bool, bool)`
@@ -32,7 +32,7 @@ LL |         (true, false, false) => ()
               found tuple `(_, _, _)`
 
 error[E0308]: mismatched types
-  --> $DIR/issue-5100.rs:34:9
+  --> $DIR/pattern-mismatched-types-diagnostics.rs:35:9
    |
 LL |     match (true, false) {
    |           ------------- this expression has type `(bool, bool)`
@@ -43,7 +43,7 @@ LL |         box (true, false) => ()
              found struct `Box<_>`
 
 error[E0308]: mismatched types
-  --> $DIR/issue-5100.rs:41:9
+  --> $DIR/pattern-mismatched-types-diagnostics.rs:42:9
    |
 LL |     match (true, false) {
    |           ------------- this expression has type `(bool, bool)`
@@ -54,13 +54,13 @@ LL |         &(true, false) => ()
            found reference `&_`
 
 error[E0618]: expected function, found `(char, char)`
-  --> $DIR/issue-5100.rs:49:14
+  --> $DIR/pattern-mismatched-types-diagnostics.rs:50:14
    |
 LL |     let v = [('a', 'b')
    |              ^^^^^^^^^^- help: consider separating array elements with a comma: `,`
 
 error[E0308]: mismatched types
-  --> $DIR/issue-5100.rs:56:19
+  --> $DIR/pattern-mismatched-types-diagnostics.rs:57:19
    |
 LL |     let x: char = true;
    |            ----   ^^^^ expected `char`, found `bool`
diff --git a/tests/ui/pattern/tuple-variant-written-as-struct-pattern.rs b/tests/ui/pattern/tuple-variant-written-as-struct-pattern.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/17800
+
 enum MyOption<T> {
     MySome(T),
     MyNone,
diff --git a/tests/ui/pattern/tuple-variant-written-as-struct-pattern.stderr b/tests/ui/pattern/tuple-variant-written-as-struct-pattern.stderr
@@ -1,5 +1,5 @@
 error[E0769]: tuple variant `MyOption::MySome` written as struct variant
-  --> $DIR/issue-17800.rs:8:9
+  --> $DIR/tuple-variant-written-as-struct-pattern.rs:10:9
    |
 LL |         MyOption::MySome { x: 42 } => (),
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/tests/ui/traits/method-resolution-multiple-traits.rs b/tests/ui/traits/method-resolution-multiple-traits.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/3702
+
 pub trait ToPrimitive {
     fn to_int(&self) -> isize { 0 }
 }
diff --git a/tests/ui/traits/method-resolution-multiple-traits.stderr b/tests/ui/traits/method-resolution-multiple-traits.stderr
@@ -1,16 +1,16 @@
 error[E0034]: multiple applicable items in scope
-  --> $DIR/issue-3702-2.rs:16:14
+  --> $DIR/method-resolution-multiple-traits.rs:18:14
    |
 LL |         self.to_int() + other.to_int()
    |              ^^^^^^ multiple `to_int` found
    |
 note: candidate #1 is defined in an impl of the trait `Add` for the type `isize`
-  --> $DIR/issue-3702-2.rs:14:5
+  --> $DIR/method-resolution-multiple-traits.rs:16:5
    |
 LL |     fn to_int(&self) -> isize { *self }
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
 note: candidate #2 is defined in an impl of the trait `ToPrimitive` for the type `isize`
-  --> $DIR/issue-3702-2.rs:2:5
+  --> $DIR/method-resolution-multiple-traits.rs:4:5
    |
 LL |     fn to_int(&self) -> isize { 0 }
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/tests/ui/typeck/duplicate-method-definitions-in-impl.rs b/tests/ui/typeck/duplicate-method-definitions-in-impl.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/4265
+
 struct Foo {
       baz: usize
 }
diff --git a/tests/ui/typeck/duplicate-method-definitions-in-impl.stderr b/tests/ui/typeck/duplicate-method-definitions-in-impl.stderr
@@ -1,5 +1,5 @@
 error[E0592]: duplicate definitions with name `bar`
-  --> $DIR/issue-4265.rs:11:5
+  --> $DIR/duplicate-method-definitions-in-impl.rs:13:5
    |
 LL |     fn bar() {
    |     -------- other definition for `bar`
@@ -8,7 +8,7 @@ LL |     fn bar() {
    |     ^^^^^^^^ duplicate definitions for `bar`
 
 error[E0599]: no method named `bar` found for struct `Foo` in the current scope
-  --> $DIR/issue-4265.rs:7:24
+  --> $DIR/duplicate-method-definitions-in-impl.rs:9:24
    |
 LL | struct Foo {
    | ---------- method `bar` not found for this struct
@@ -18,7 +18,7 @@ LL |         Foo { baz: 0 }.bar();
    |
    = note: found the following associated functions; to be used as methods, functions must have a `self` parameter
 note: the candidate is defined in an impl for the type `Foo`
-  --> $DIR/issue-4265.rs:6:5
+  --> $DIR/duplicate-method-definitions-in-impl.rs:8:5
    |
 LL |     fn bar() {
    |     ^^^^^^^^
diff --git a/tests/ui/typeck/tuple-struct-field-constructor-error.rs b/tests/ui/typeck/tuple-struct-field-constructor-error.rs
@@ -1,3 +1,5 @@
+// https://github.com/rust-lang/rust/issues/4736
+
 struct NonCopyable(());
 
 fn main() {
diff --git a/tests/ui/typeck/tuple-struct-field-constructor-error.stderr b/tests/ui/typeck/tuple-struct-field-constructor-error.stderr
@@ -1,5 +1,5 @@
 error[E0560]: struct `NonCopyable` has no field named `p`
-  --> $DIR/issue-4736.rs:4:26
+  --> $DIR/tuple-struct-field-constructor-error.rs:6:26
    |
 LL | struct NonCopyable(());
    |        ----------- `NonCopyable` defined here

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// https://github.com/rust-lang/rust/issues/2590`
	`2`	`+`
`1`	`3`	`struct Parser {`
`2`	`4`	`tokens: Vec<isize> ,`
`3`	`5`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0507]: cannot move out of `self.tokens` which is behind a shared reference
`2`		`- --> $DIR/issue-2590.rs:11:9`
	`2`	`+ --> $DIR/cannot-move-out-of-borrowed-field.rs:13:9`
`3`	`3`	`\|`
`4`	`4`	`LL \| self.tokens`
`5`	`5`	\| ^^^^^^^^^^^ move occurs because `self.tokens` has type `Vec<isize>`, which does not implement the `Copy` trait
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// https://github.com/rust-lang/rust/issues/4335`
	`2`	`+`
`1`	`3`	`#![feature(fn_traits)]`
`2`	`4`
`3`	`5`	`fn id<T>(t: T) -> T { t }`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0507]: cannot move out of `*v`, as `v` is a captured variable in an `FnMut` closure
`2`		`- --> $DIR/issue-4335.rs:6:20`
	`2`	`+ --> $DIR/move-out-of-borrowed-content-in-closure.rs:8:20`
`3`	`3`	`\|`
`4`	`4`	`LL \| fn f<'r, T>(v: &'r T) -> Box<dyn FnMut() -> T + 'r> {`
`5`	`5`	\| - ----- move occurs because `*v` has type `T`, which does not implement the `Copy` trait
`@@ -12,7 +12,7 @@ LL \| id(Box::new(\|\| *v))`
`12`	`12`	`\|`
`13`	`13`	= help: `Fn` and `FnMut` closures require captured values to be able to be consumed multiple times, but `FnOnce` closures may consume them only once
`14`	`14`	help: if `T` implemented `Clone`, you could clone the value
`15`		`- --> $DIR/issue-4335.rs:5:10`
	`15`	`+ --> $DIR/move-out-of-borrowed-content-in-closure.rs:7:10`
`16`	`16`	`\|`
`17`	`17`	`LL \| fn f<'r, T>(v: &'r T) -> Box<dyn FnMut() -> T + 'r> {`
`18`	`18`	\| ^ consider constraining this type parameter with `Clone`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// https://github.com/rust-lang/rust/issues/3021`
	`2`	`+`
`1`	`3`	`fn siphash(k0 : u64) {`
`2`	`4`
`3`	`5`	`struct SipHash {`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`error[E0434]: can't capture dynamic environment in a fn item`
`2`		`- --> $DIR/issue-3021-b.rs:9:22`
	`2`	`+ --> $DIR/capture-dynamic-environment.rs:11:22`
`3`	`3`	`\|`
`4`	`4`	`LL \| self.v0 = k0 ^ 0x736f6d6570736575;`
`5`	`5`	`\| ^^`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// https://github.com/rust-lang/rust/issues/17252`
	`2`	`+`
`1`	`3`	`const FOO: usize = FOO; //~ ERROR E0391`
`2`	`4`	`//@ ignore-parallel-frontend query cycle`
`3`	`5`	`fn main() {`
Original file line number	Diff line number	Diff line change
`@@ -1,36 +1,36 @@`
`1`	`1`	error[E0391]: cycle detected when checking if `FOO` is a trivial const
`2`		`- --> $DIR/issue-17252.rs:1:1`
	`2`	`+ --> $DIR/const-eval-cycle-detection.rs:3:1`
`3`	`3`	`\|`
`4`	`4`	`LL \| const FOO: usize = FOO;`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^`
`6`	`6`	`\|`
`7`	`7`	note: ...which requires building MIR for `FOO`...
`8`		`- --> $DIR/issue-17252.rs:1:1`
	`8`	`+ --> $DIR/const-eval-cycle-detection.rs:3:1`
`9`	`9`	`\|`
`10`	`10`	`LL \| const FOO: usize = FOO;`
`11`	`11`	`\| ^^^^^^^^^^^^^^^^`
`12`	`12`	= note: ...which again requires checking if `FOO` is a trivial const, completing the cycle
`13`	`13`	note: cycle used when simplifying constant for the type system `FOO`
`14`		`- --> $DIR/issue-17252.rs:1:1`
	`14`	`+ --> $DIR/const-eval-cycle-detection.rs:3:1`
`15`	`15`	`\|`
`16`	`16`	`LL \| const FOO: usize = FOO;`
`17`	`17`	`\| ^^^^^^^^^^^^^^^^`
`18`	`18`	`= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information`
`19`	`19`
`20`	`20`	error[E0391]: cycle detected when checking if `main::BAR` is a trivial const
`21`		`- --> $DIR/issue-17252.rs:6:9`
	`21`	`+ --> $DIR/const-eval-cycle-detection.rs:8:9`
`22`	`22`	`\|`
`23`	`23`	`LL \| const BAR: usize = BAR;`
`24`	`24`	`\| ^^^^^^^^^^^^^^^^`
`25`	`25`	`\|`
`26`	`26`	note: ...which requires building MIR for `main::BAR`...
`27`		`- --> $DIR/issue-17252.rs:6:9`
	`27`	`+ --> $DIR/const-eval-cycle-detection.rs:8:9`
`28`	`28`	`\|`
`29`	`29`	`LL \| const BAR: usize = BAR;`
`30`	`30`	`\| ^^^^^^^^^^^^^^^^`
`31`	`31`	= note: ...which again requires checking if `main::BAR` is a trivial const, completing the cycle
`32`	`32`	note: cycle used when simplifying constant for the type system `main::BAR`
`33`		`- --> $DIR/issue-17252.rs:6:9`
	`33`	`+ --> $DIR/const-eval-cycle-detection.rs:8:9`
`34`	`34`	`\|`
`35`	`35`	`LL \| const BAR: usize = BAR;`
`36`	`36`	`\| ^^^^^^^^^^^^^^^^`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// https://github.com/rust-lang/rust/issues/2150`
	`2`	`+`
`1`	`3`	`#![deny(unreachable_code)]`
`2`	`4`	`#![allow(unused_variables)]`
`3`	`5`	`#![allow(dead_code)]`
Original file line number	Diff line number	Diff line change
`@@ -1,13 +1,13 @@`
`1`	`1`	`error: unreachable statement`
`2`		`- --> $DIR/issue-2150.rs:8:5`
	`2`	`+ --> $DIR/unreachable-code-in-loop.rs:10:5`
`3`	`3`	`\|`
`4`	`4`	`LL \| panic!();`
`5`	`5`	`\| -------- any code following this expression is unreachable`
`6`	`6`	`LL \| for x in &v { i += 1; }`
`7`	`7`	`\| ^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement`
`8`	`8`	`\|`
`9`	`9`	`note: the lint level is defined here`
`10`		`- --> $DIR/issue-2150.rs:1:9`
	`10`	`+ --> $DIR/unreachable-code-in-loop.rs:3:9`
`11`	`11`	`\|`
`12`	`12`	`LL \| #![deny(unreachable_code)]`
`13`	`13`	`\| ^^^^^^^^^^^^^^^^`