diff --git a/tests/ui/issues/issue-16562.rs b/tests/ui/generics/unconstrained-type-param-in-impl.rs
similarity index 64%
rename from tests/ui/issues/issue-16562.rs
rename to tests/ui/generics/unconstrained-type-param-in-impl.rs
index e16a35158c35a..0b48adb29872b 100644
--- a/tests/ui/issues/issue-16562.rs
+++ b/tests/ui/generics/unconstrained-type-param-in-impl.rs
@@ -1,3 +1,6 @@
+// Regression test for https://github.com/rust-lang/rust/issues/16562
+// Tests that E0207 is emitted when a type parameter is unconstrained in an impl block.
+
 trait MatrixShape {}
 
 struct Col<D, C> {
diff --git a/tests/ui/issues/issue-16562.stderr b/tests/ui/generics/unconstrained-type-param-in-impl.stderr
similarity index 85%
rename from tests/ui/issues/issue-16562.stderr
rename to tests/ui/generics/unconstrained-type-param-in-impl.stderr
index efbd7f712a45a..a1d8c3b9f8c3c 100644
--- a/tests/ui/issues/issue-16562.stderr
+++ b/tests/ui/generics/unconstrained-type-param-in-impl.stderr
@@ -1,5 +1,5 @@
 error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates
-  --> $DIR/issue-16562.rs:10:6
+  --> $DIR/unconstrained-type-param-in-impl.rs:10:6
    |
 LL | impl<T, M: MatrixShape> Collection for Col<M, usize> {
    |      ^ unconstrained type parameter