Yes. It makes it possible to test that functions are `pure` or `@safe` or whatnot.