Right, that's what I was trying to get at. If the compiler's interpreter were 100% capable of executing the language, @compilerEvaluable becomes at its limit a synonym for pure (no side effects) + @inlinable (clients are allowed to hardcode the behavior of the current implementation of this function).