@Jonas Schievink Do you currently have enough time to review a PR implementing this.
WIll also probably need some help along the way
Oh yeah I'd love to see this happen! Not sure I can help much though.
Ok,looked into this and have a general idea on how this may work.
My idea is to use
par_body_owners at the end of
librustc_interface::passes::analysis to walk through all impls and do something similar to the current
unconditional_recursion check (except on
optimized_mir instead of
mir_built, as I don't know how to deal with
Steal otherwise). We now actually follow function calls under the following conditions:
This would require
optimized_mir for functions which wouldn't be built otherwise afaict... ?