| -- type in trait
...
LL | fn foo<B: Debug>(&self, a: &impl Debug, b: &B) { }
- | ^^^^^^^^^^^ expected type parameter, found a different type parameter
+ | - ^^^^^^^^^^^ expected type parameter `B`, found type parameter `impl Debug`
+ | |
+ | expected type parameter
|
- = note: expected type `fn(&(), &B, &impl Debug)`
- found type `fn(&(), &impl Debug, &B)`
+ = note: expected fn pointer `fn(&(), &B, &impl Debug)`
+ found fn pointer `fn(&(), &impl Debug, &B)`
= note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound
= note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters