error: implementation of `Bar` is not general enough | |
--> $DIR/where-for-self-2.rs:23:5 | |
| | |
LL | / trait Bar { | |
LL | | fn bar(&self); | |
LL | | } | |
| |_- trait `Bar` defined here | |
... | |
LL | foo(&X); | |
| ^^^ implementation of `Bar` is not general enough | |
| | |
= note: `Bar` would have to be implemented for the type `&'0 u32`, for any lifetime `'0`... | |
= note: ...but `Bar` is actually implemented for the type `&'1 u32`, for some specific lifetime `'1` | |
error: aborting due to previous error | |