How to create a macro to impl a provided type-parametrized trait?

[marcianx]

Thanks a lot Daniel! I've learned a lot with this exercise! Here's the solution for any others following.

Also I have updated downcast-rs to take advantage of this technique as I have need of this.