E1xxx: Проверка типов
Автоматически сгенерировано из
src/util/diagnostic/codes/
Список ошибок
E1001: Неизвестная переменная
Категория: TypeCheck
Сообщение: Ссылка на неопределённую переменную
Помощь: Проверьте правильность написания имени переменной или сначала определите её
E1002: Несоответствие типов
Категория: TypeCheck
Сообщение: Ожидаемый тип не соответствует фактическому
Помощь: Используйте правильный тип или добавьте преобразование типов
E1003: Неизвестный тип
Категория: TypeCheck
Сообщение: Ссылка на несуществующий тип
Помощь: Проверьте правильность написания имени типа
E1010: Несоответствие количества параметров
Категория: TypeCheck
Сообщение: Аргументы вызова функции не соответствуют определению
Помощь: Проверьте количество аргументов при вызове функции
E1011: Несоответствие типа параметра
Категория: TypeCheck
Сообщение: Проверка типа параметра не пройдена
Помощь: Убедитесь, что типы аргументов соответствуют сигнатуре функции
E1012: Несоответствие типа возвращаемого значения
Категория: TypeCheck
Сообщение: Тип возвращаемого значения функции некорректен
Помощь: Убедитесь, что возвращаемое значение соответствует объявленному типу возврата
E1013: Функция не найдена
Категория: TypeCheck
Сообщение: Вызов неопределённой функции
Помощь: Проверьте правильность написания имени функции
E1020: Не удаётся вывести тип
Категория: TypeCheck
Сообщение: Контекст не может вывести тип
Помощь: Добавьте аннотацию типа или явные аргументы типа
E1021: Конфликт вывода типа
Категория: TypeCheck
Сообщение: Множественные ограничения приводят к противоречию типов
Помощь: Проверьте согласованность аннотаций типов
E1030: Неполнота образца
Категория: TypeCheck
Сообщение: Выражение match не охватывает все случаи
Помощь: Добавьте недостающие образцы в выражение match
E1031: Недостижимый образец
Категория: TypeCheck
Сообщение: Образец, который никогда не сможет совпасть
Помощь: Удалите или измените недостижимый образец
E1040: Операция не поддерживается
Категория: TypeCheck
Сообщение: Тип не поддерживает данную операцию
Помощь: Проверьте поддерживаемые операции для этого типа
E1041: Индекс за пределами диапазона
Категория: TypeCheck
Сообщение: Индекс массива/списка вне допустимого диапазона
Помощь: Убедитесь, что индекс находится в пределах коллекции
E1042: Поле не найдено
Категория: TypeCheck
Сообщение: Обращение к несуществующему полю структуры
Помощь: Проверьте доступные поля структуры