Helper function for easy error propagation. If error occurs, returns ErrorExp. Otherwise returns NULL.
Mark the operands as will never be dereferenced, which is useful info for @safe checks. Do before semantic() on operands rewrites them.
See Implementation