How to propagate dependencies of a proc-crate to user crate

I think this answer is what you mean.