Can @pure functions throw an error?

[jameson]

Probably a very bad idea, as pure means we can discard or duplicate side-effects, which then also means we can transform any program that might call this function into one that always throws this error at startup