Actually that's the main point, as if it's in the same TU, the compiler can probably figure out a function is pure.
Actually that's the main point, as if it's in the same TU, the compiler can probably figure out a function is pure.