Every property that can be an expression needs to stipulate "The expression must not contain forward references to elements which have not yet been processed."

There are only two exceptions which are for the message of asserts/discriminators.