Since your key motivator is dependency injection, an example of reflection helping for such would be very beneficial to the RFC.
As this could entirely be implemented with attribute proc macros, a proof of concept implementation would go a long way for allowing people to understand the utility by playing with it.
(Explicitly no opinion given on desirability of feature)