Move type parameter shadowing test to `ui`

2 files changed, 28 insertions, 0 deletions

diff --git a/src/test/compile-fail/shadowed-type-parameter.rs b/src/test/ui/shadowed-type-parameter.rs
index 1f72db1e894..1f72db1e894 100644
--- a/src/test/compile-fail/shadowed-type-parameter.rs
+++ b/src/test/ui/shadowed-type-parameter.rs
diff --git a/src/test/ui/shadowed-type-parameter.stderr b/src/test/ui/shadowed-type-parameter.stderr
new file mode 100644
index 00000000000..d77523299bc
--- /dev/null
+++ b/src/test/ui/shadowed-type-parameter.stderr
@@ -0,0 +1,28 @@
+error[E0194]: type parameter `T` shadows another type parameter of the same name
+  --> $DIR/shadowed-type-parameter.rs:30:27
+   |
+27 | trait Bar<T> {
+   |           - first `T` declared here
+...
+30 |     fn shadow_in_required<T>(&self);
+   |                           ^ shadows another type parameter
+
+error[E0194]: type parameter `T` shadows another type parameter of the same name
+  --> $DIR/shadowed-type-parameter.rs:33:27
+   |
+27 | trait Bar<T> {
+   |           - first `T` declared here
+...
+33 |     fn shadow_in_provided<T>(&self) {}
+   |                           ^ shadows another type parameter
+
+error[E0194]: type parameter `T` shadows another type parameter of the same name
+  --> $DIR/shadowed-type-parameter.rs:18:25
+   |
+17 | impl<T> Foo<T> {
+   |      - first `T` declared here
+18 |     fn shadow_in_method<T>(&self) {}
+   |                         ^ shadows another type parameter
+
+error: aborting due to previous error(s)
+