user_error Alias of trigger_error &reftitle.description; &info.function.alias; trigger_error.