This MR addresses #21851 (closed) by making rule rewriting "win" over inlining.
It does mean that for Ids that (a) have rules but (b) end up being inlined, and (c) the argument occurs exactly once and so is inlined unconditionally, we may do a little bit more work.