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
メッセージ: 存在しないstructフィールドにアクセスしようとしています
ヘルプ: structの利用可能なフィールドを確認してください