This is not primary about static checking. This is mostly a guarantee to the implementation so it has information at the target function so it can generate bett

This is not primary about static checking. This is mostly a guarantee to the implementation so it has information at the target function so it can generate better code without having to resort to derivations or complex data flows (to optimize, basically).