No, any function can call another function from another translation unit (at link time) or load and call a function from another translation unit (at runtime).

No, any function can call another function from another translation unit (at link time) or load and call a function from another translation unit (at runtime). How will the compiler enforce the propagation of the requirement in those cases?