I did a similar thing for derive-io. It greatly improved the ergonomics of the macro. https://docs.rs/derive-io/latest/derive_io/ https://docs.rs/derive-io/lat

I did a similar thing for derive-io. It greatly improved the ergonomics of the macro. https://docs.rs/derive-io/latest/derive_io/ https://docs.rs/derive-io/latest/derive_io/ Being able to handle directly recursive type bounds would be an awesome improvement to the compiler, IMO.