In order to invoke nothrow check later, don't return ErrorExp.