[andynator1000]

The proposed syntax allows for a precondition which can evaluate an expression and return that.

So if you wanted to format the error returned you could do `returnif error : formatError("Error context:", error)`