bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

add a missing test case for impl generic mismatch

Browse source
This commit is contained in:
Takayuki Maeda 2022-08-24 14:09:55 +09:00
parent 87991d5f5d
commit 56f9e29d2a
2 changed files with 25 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/test/ui/impl-trait/impl-generic-mismatch.rs
View file

@ -18,6 +18,15 @@ impl Bar for () {
//~^ Error method `bar` has incompatible signature for trait //~^ Error method `bar` has incompatible signature for trait
} }
trait Baz {
fn baz<U: Debug, T: Debug>(&self, _: &U, _: &T);
}
impl Baz for () {
fn baz<T: Debug>(&self, _: &impl Debug, _: &T) { }
//~^ Error method `baz` has incompatible signature for trait
}
// With non-local trait (#49841): // With non-local trait (#49841):
use std::hash::{Hash, Hasher}; use std::hash::{Hash, Hasher};

18
src/test/ui/impl-trait/impl-generic-mismatch.stderr
View file

@ -27,8 +27,22 @@ help: try changing the `impl Trait` argument to a generic parameter
LL | fn bar<U: Debug>(&self, _: &U) { } LL | fn bar<U: Debug>(&self, _: &U) { }
| ++++++++++ ~ | ++++++++++ ~
error[E0643]: method `baz` has incompatible signature for trait
--> $DIR/impl-generic-mismatch.rs:26:33
|
LL | fn baz<U: Debug, T: Debug>(&self, _: &U, _: &T);
| - declaration in trait here
...
LL | fn baz<T: Debug>(&self, _: &impl Debug, _: &T) { }
| ^^^^^^^^^^ expected generic parameter, found `impl Trait`
|
help: try changing the `impl Trait` argument to a generic parameter
|
LL | fn baz<U: Debug, T: Debug>(&self, _: &T, _: &T) { }
| ~~~~~~~~~~~~~~~~~~~~ ~
error[E0643]: method `hash` has incompatible signature for trait error[E0643]: method `hash` has incompatible signature for trait
--> $DIR/impl-generic-mismatch.rs:28:33 --> $DIR/impl-generic-mismatch.rs:37:33
| |
LL | fn hash(&self, hasher: &mut impl Hasher) {} LL | fn hash(&self, hasher: &mut impl Hasher) {}
| ^^^^^^^^^^^ expected generic parameter, found `impl Trait` | ^^^^^^^^^^^ expected generic parameter, found `impl Trait`
@ -38,6 +52,6 @@ LL | fn hash(&self, hasher: &mut impl Hasher) {}
LL | fn hash<H: Hasher>(&self, state: &mut H); LL | fn hash<H: Hasher>(&self, state: &mut H);
| - declaration in trait here | - declaration in trait here
error: aborting due to 3 previous errors error: aborting due to 4 previous errors
For more information about this error, try `rustc --explain E0643`. For more information about this error, try `rustc --explain E0643`.