If this is going to be merged, I would still like to do a couple things first, like cache the analysis of procedures and using the analysis of procedures to modify the type state of the caller instead of just clearing it, but I figured those belong in a different PR.
Step 1 of maybe merging.
If this is going to be merged, I would still like to do a couple things first, like cache the analysis of procedures and using the analysis of procedures to modify the type state of the caller instead of just clearing it, but I figured those belong in a different PR.