After thinking about it for a while, I think my proposal is incorrect, may be harmful and prevent the code from being compiled. I didn't take into account one key case — when a given function is marked as inlined and some calls may be inlined and some may not. If the compiler were to stop compilation when it is not technically possible to inline, it would be very burdensome and instead of having inline at least some of the calls, you would have to remove inline from the function prototype and not have it at all.
So I consider my proposal completely invalid, please do not consider it.