Skip to content

Commit e6b34d7

Browse files
author
Allen Hsu
committed
Test qualified paths and similarly named traits.
1 parent bcc5ba8 commit e6b34d7

3 files changed

+23
-1
lines changed

tests/ui/repeated_where_clause_or_trait_bound.fixed

+8
Original file line numberDiff line numberDiff line change
@@ -102,4 +102,12 @@ fn bad_generic<T: GenericTrait<u32> + GenericTrait<u64>>(arg0: T) {
102102
unimplemented!();
103103
}
104104

105+
mod foo {
106+
pub trait Clone {}
107+
}
108+
109+
fn qualified_path<T: Clone + foo::Clone>(arg0: T) {
110+
unimplemented!();
111+
}
112+
105113
fn main() {}

tests/ui/repeated_where_clause_or_trait_bound.rs

+8
Original file line numberDiff line numberDiff line change
@@ -102,4 +102,12 @@ fn bad_generic<T: GenericTrait<u64> + GenericTrait<u32> + GenericTrait<u64>>(arg
102102
unimplemented!();
103103
}
104104

105+
mod foo {
106+
pub trait Clone {}
107+
}
108+
109+
fn qualified_path<T: std::clone::Clone + Clone + foo::Clone>(arg0: T) {
110+
unimplemented!();
111+
}
112+
105113
fn main() {}

tests/ui/repeated_where_clause_or_trait_bound.stderr

+7-1
Original file line numberDiff line numberDiff line change
@@ -46,5 +46,11 @@ error: these bounds contain repeated elements
4646
LL | fn bad_generic<T: GenericTrait<u64> + GenericTrait<u32> + GenericTrait<u64>>(arg0: T) {
4747
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `GenericTrait<u32> + GenericTrait<u64>`
4848

49-
error: aborting due to 7 previous errors
49+
error: these bounds contain repeated elements
50+
--> $DIR/repeated_where_clause_or_trait_bound.rs:109:22
51+
|
52+
LL | fn qualified_path<T: std::clone::Clone + Clone + foo::Clone>(arg0: T) {
53+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `Clone + foo::Clone`
54+
55+
error: aborting due to 8 previous errors
5056

0 commit comments

Comments
 (0)