Test qualified paths and similarly named traits.

rust-lang · May 18, 2022 · e6b34d7 · e6b34d7
1 parent bcc5ba8
commit e6b34d7
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 1 deletion.
diff --git a/tests/ui/repeated_where_clause_or_trait_bound.fixed b/tests/ui/repeated_where_clause_or_trait_bound.fixed
@@ -102,4 +102,12 @@ fn bad_generic<T: GenericTrait<u32> + GenericTrait<u64>>(arg0: T) {
     unimplemented!();
 }
 
+mod foo {
+    pub trait Clone {}
+}
+
+fn qualified_path<T: Clone + foo::Clone>(arg0: T) {
+    unimplemented!();
+}
+
 fn main() {}
diff --git a/tests/ui/repeated_where_clause_or_trait_bound.rs b/tests/ui/repeated_where_clause_or_trait_bound.rs
@@ -102,4 +102,12 @@ fn bad_generic<T: GenericTrait<u64> + GenericTrait<u32> + GenericTrait<u64>>(arg
     unimplemented!();
 }
 
+mod foo {
+    pub trait Clone {}
+}
+
+fn qualified_path<T: std::clone::Clone + Clone + foo::Clone>(arg0: T) {
+    unimplemented!();
+}
+
 fn main() {}
diff --git a/tests/ui/repeated_where_clause_or_trait_bound.stderr b/tests/ui/repeated_where_clause_or_trait_bound.stderr
@@ -46,5 +46,11 @@ error: these bounds contain repeated elements
 LL | fn bad_generic<T: GenericTrait<u64> + GenericTrait<u32> + GenericTrait<u64>>(arg0: T) {
    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `GenericTrait<u32> + GenericTrait<u64>`
 
-error: aborting due to 7 previous errors
+error: these bounds contain repeated elements
+  --> $DIR/repeated_where_clause_or_trait_bound.rs:109:22
+   |
+LL | fn qualified_path<T: std::clone::Clone + Clone + foo::Clone>(arg0: T) {
+   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `Clone + foo::Clone`
+
+error: aborting due to 8 previous errors