From 3cc2df7421888d6fca8242c2d3fcd0e67d7d8e4f Mon Sep 17 00:00:00 2001 From: DiveshK007 Date: Tue, 31 Mar 2026 08:24:46 +0530 Subject: [PATCH] Move issue-16562 to tests/ui/generics/ Relocates regression test for #16562 from tests/ui/issues/ to tests/ui/generics/ with a descriptive filename. Adds issue link and description comment at top of file. --- .../unconstrained-type-param-in-impl.rs} | 3 +++ .../unconstrained-type-param-in-impl.stderr} | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) rename tests/ui/{issues/issue-16562.rs => generics/unconstrained-type-param-in-impl.rs} (64%) rename tests/ui/{issues/issue-16562.stderr => generics/unconstrained-type-param-in-impl.stderr} (85%) 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 { 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 Collection for Col { | ^ unconstrained type parameter