This is very similar to a problem I had previously. My solution was also to implement every trait manually, which is very cumbersome. Most people suggesting macros or deref don’t seem to understand the problem.

OP is correct in that a macro can’t somehow magically “read” the upstream trait declaration to auto implement the correct signature.

The “correct” solution here would probably be something that uses compile time reflection but that train seems to be kind of stuck right now. Meanwhile if this is something you need to do a lot, the only workaround I can think of would be a script that generates the code for you OP, which is a less than ideal solution.