Cool! I'm not seeing why would be hard to bring it (except the time it would be invested implementing it) since we would be offered by compiler all its IR, once we have that, we could explore more than simply analysis the graph to see if works or not, we can literally inject its deps in compile time. I have some work to do when FIR releases but when I finish I can bring an example to clarify more this concept.