Then maybe rustc ought to have diagnostics that warn if a recursive function won&#x27;t be optimized fully, and then I can either avoid recursion or rewrite to fit into the optimizer, but having to appease a changing optimizer isn&#x27;t what I&#x27;d call maintainable code, so a function attribute might make more sense.