Comment by rtpg

I do wonder if the advantages of the separate compilation model are being realized. Like I can understand having the semantics of a separate compilation model (and I think you could keep those without actually implementing with them?) but if the compiler really did just pull in what it needed and nothing more something tells me we could see massive perf improvements from dependencies.

I suppose a lot of the coherence checking still "needs" to happen, but how I would love a "--i-dont-care-about-coherence-in-dependent-traits" flag or something. I know I'm missing a lot