[Feature Request] Allow MakeImpl to build an impl including Associated Constants and Associated Types

[Adriano Zambrana Marchetti]

Simple enough description of the problem.
Suppose there was a trait as such:

trait MyTrait {
    fn my_fn();
    const MY_CONST: usize;
    type MyType: TypeBoundsHere;
}

There is no way to build a complete impl of this trait using the reflection API, due to the associated type and associated constant.

Now, the description of the problem might be easy, but solving it surely looks to moving quite a bit of code around.
I understand if this issue isn't top priority given the state of development of the crate.