> There can be more than one definition in a program of [...an] inline function [...] as long as all of the following is true:
> - each definition consists of the same sequence of tokens (typically, appears in the same header file)
> [...]
> If all these requirements are satisfied, the program behaves as if there is only one definition in the entire program. Otherwise, the program is ill-formed, no diagnostic required.
