Reorganize tests/ui/issues [26/N]

tests/ui/issues/issue-42796.rs → tests/ui/associated-types/cache/poison-copy-via-projection.rs

@@ -1,3 +1,7 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/42796>.
+//! Where clause implying trait assoc type is `Copy`, poisoned cache to
+//! believe `String: Copy`, which exposed UB.
+
 pub trait Mirror<Smoke> {
     type Image;
 }

tests/ui/issues/issue-42796.stderr → tests/ui/associated-types/cache/poison-copy-via-projection.stderr

@@ -1,5 +1,5 @@
 error[E0382]: borrow of moved value: `s`
-  --> $DIR/issue-42796.rs:18:20
+  --> $DIR/poison-copy-via-projection.rs:22:20
    |
 LL |     let s = "Hello!".to_owned();
    |         - move occurs because `s` has type `String`, which does not implement the `Copy` trait

tests/ui/coherence/coherence-overlap-downstream-fundamental.rs

@@ -0,0 +1,28 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/43355>.
+//! Test trait relationship defined as `Trait1<X> for T where T: Trait2<X>`
+//! rejects implementations of `Trait1` with generics over `#[fundamental]`
+//! types, as a downstream crate can implement dependent `Trait2` for the same
+//! type with the same generics, causing coherence breakage.
+//!
+//! This used to ICE if downstream crate tried to `impl Trait2<Box<_>> for A`.
+//@ dont-require-annotations: NOTE
+
+pub trait Trait1<X> {
+    type Output;
+}
+
+pub trait Trait2<X> {}
+
+pub struct A;
+
+impl<X, T> Trait1<X> for T where T: Trait2<X> {
+    type Output = ();
+}
+
+impl<X> Trait1<Box<X>> for A {
+//~^ ERROR conflicting implementations of trait
+//~| NOTE downstream crates may implement trait `Trait2<std::boxed::Box<_>>` for type `A`
+    type Output = i32;
+}
+
+fn main() {}

tests/ui/issues/issue-43355.stderr → tests/ui/coherence/coherence-overlap-downstream-fundamental.stderr

@@ -1,5 +1,5 @@
 error[E0119]: conflicting implementations of trait `Trait1<Box<_>>` for type `A`
-  --> $DIR/issue-43355.rs:15:1
+  --> $DIR/coherence-overlap-downstream-fundamental.rs:22:1
    |
 LL | impl<X, T> Trait1<X> for T where T: Trait2<X> {
    | --------------------------------------------- first implementation here

tests/ui/issues/issue-43250.rs → tests/ui/lowering/expr-metavar-in-let-pattern.rs

@@ -1,3 +1,7 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/43250>.
+//! Test expr metavars aren't allowed in places where pattern is expected,
+//! and their use doesn't cause ICE.
+
 fn main() {
     let mut y;
     const C: u32 = 0;

tests/ui/issues/issue-43250.stderr → tests/ui/lowering/expr-metavar-in-let-pattern.stderr

@@ -1,13 +1,13 @@
 error: arbitrary expressions aren't allowed in patterns
-  --> $DIR/issue-43250.rs:9:8
+  --> $DIR/expr-metavar-in-let-pattern.rs:13:8
    |
 LL |     m!(y);
    |        ^
    |
    = note: the `expr` fragment specifier forces the metavariable's content to be an expression
 
 error: arbitrary expressions aren't allowed in patterns
-  --> $DIR/issue-43250.rs:11:8
+  --> $DIR/expr-metavar-in-let-pattern.rs:15:8
    |
 LL |     m!(C);
    |        ^

tests/ui/issues/issue-43424.rs → tests/ui/macros/attr-path-metavar-generic-args.rs

@@ -1,3 +1,6 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/43424>.
+//! Test generics in attribute paths are rejected.
+
 #![allow(unused)]
 
 macro_rules! m {

tests/ui/issues/issue-43424.stderr → tests/ui/macros/attr-path-metavar-generic-args.stderr

@@ -1,5 +1,5 @@
 error: unexpected generic arguments in path
-  --> $DIR/issue-43424.rs:10:10
+  --> $DIR/attr-path-metavar-generic-args.rs:13:10
    |
 LL | m!(inline<u8>);
    |          ^^^^

tests/ui/issues/issue-42880.rs → tests/ui/pattern/type-alias-as-variant-pattern.rs

@@ -1,3 +1,6 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/42880>.
+//! Test type-based paths in variant patterns don't cause ICE.
+
 type Value = String;
 
 fn main() {

tests/ui/issues/issue-42880.stderr → tests/ui/pattern/type-alias-as-variant-pattern.stderr

@@ -1,5 +1,5 @@
 error[E0599]: no associated function or constant named `String` found for struct `String` in the current scope
-  --> $DIR/issue-42880.rs:4:22
+  --> $DIR/type-alias-as-variant-pattern.rs:7:22
    |
 LL |     let f = |&Value::String(_)| ();
    |                      ^^^^^^ associated function or constant not found in `String`

tests/ui/issues/issue-44216-add-instant.rs → tests/ui/std/instant-add-duration-overflow.rs

@@ -1,5 +1,8 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/44216>.
+//! Test overflowing `Instant` panics.
 //@ run-fail
 //@ error-pattern:overflow
+//@ needs-subprocess
 
 use std::time::{Duration, Instant};
 

tests/ui/issues/issue-44216-sub-instant.rs → tests/ui/std/instant-sub-duration-overflow.rs

@@ -1,3 +1,5 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/44216>.
+//! Test overflowing `Instant` panics.
 //@ run-fail
 //@ error-pattern:overflow
 //@ needs-subprocess

tests/ui/issues/issue-44216-add-system-time.rs → tests/ui/std/system-time-add-duration-overflow.rs

@@ -1,3 +1,5 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/44216>.
+//! Test overflowing `SystemTime` panics.
 //@ run-fail
 //@ error-pattern:overflow
 //@ needs-subprocess

tests/ui/issues/issue-44216-sub-system-time.rs → tests/ui/std/system-time-sub-duration-overflow.rs

@@ -1,3 +1,5 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/44216>.
+//! Test overflowing `SystemTime` panics.
 //@ run-fail
 //@ error-pattern:overflow
 //@ needs-subprocess

tests/ui/issues/issue-43853.rs → tests/ui/traits/coerce-diverging-through-from.rs

@@ -1,3 +1,5 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/43853>.
+//! Test using `From::from(f())` on a diverging `f()` doesn't ICE.
 //@ run-pass
 //@ needs-unwind