It helps makeing sure a that a function *infered* as pure/safe/nothrow stays that way.

If you want to add more test, you create a new unittest, so no problems either.