TypeScript で「Argument of type ... is not assignable」が解消できない

Q: TypeScript で「Argument of type ... is not assignable」が解消できない の主な原因は？

・渡している値の型が広い（例: string なのに 'a' | 'b' のリテラル union が期待されている） ・オプショナルや null/undefined を含む型を、それを許容しない引数に渡している ・オブジェクトに余剰プロパティがある／必要プロパティが欠けている ・ジェネリック関数の型推論が失敗しており、引数の型が unknown や {} に解決されている

Q: TypeScript で「Argument of type ... is not assignable」が解消できない の解決策は？

・リテラル型を期待される箇所は `as const` で渡す側のリテラルを保持する、または型注釈を `const x: 'a' | 'b' = 'a'` のように付ける ・null/undefined を除外するなら `if (x != null)` で型ガード後に渡す、または `?? デフォルト値` を使う ・オブジェクトは `satisfies` 演算子で型を満たしているか検査しつつリテラル情報を保つ（TS 4.9+） ・ジェネリック関数は `fn (arg)` のように型引数を明示し、推論失敗時の型を意図したものに固定する

TS2345「Argument of type X is not assignable to parameter of type Y」は、関数引数の型 X が期待する型 Y のサブタイプでないために出るエラー。
リテラル型は as const で保つ、null/undefined は型ガードで除外、オブジェクトは satisfies で検査、ジェネリックは型引数を明示、で大半は解決する。

#type-error #argument #assignability #ts2345

公開: 2026-05-24更新: 2026-06-18

要約

エラー TS2345「Argument of type X is not assignable to parameter of type Y」は、関数を呼ぶときの実引数 X が宣言された仮引数の型 Y に代入できない（サブタイプではない）ことを示す。
原因はリテラル型の広がり、null/undefined の混入、余剰プロパティ、ジェネリック推論の失敗が大半。as const / satisfies / 型ガード / 明示的な型引数のいずれかで意図した型に絞れば消える。as での強制アサートは最後の手段。

よくある原因

文字列リテラルが string に広がっている。
例: function setMode(m: 'light' | 'dark') {} に const m = 'light'; setMode(m) と渡すと、m の推論は string になり代入不可。
T | null を返す API の戻り値を T 専用の関数に流し込んでいる。
null チェックなしでは渡せない。
オブジェクトリテラルが、宣言されていない余剰プロパティを含む。
あるいは required なプロパティが抜けている。
ジェネリック関数の呼び出しで型引数を省略しており、推論が unknown や空オブジェクト {} で確定して、想定外の型として fail する。

解決策

1. リテラル型を保つ

function setMode(m: "light" | "dark") {}
const m = "light" as const;       // 型は "light"
setMode(m);                       // OK
 
// あるいは関数宣言側で型注釈を付ける
const m2: "light" | "dark" = "light";

2. null / undefined を除外する

function need(s: string) {}
const maybe: string | null = getValue();
if (maybe != null) need(maybe);          // 型ガード
need(maybe ?? "");                       // デフォルト値

3. satisfies で形を保ちつつ検査する

type Config = { host: string; port: number };
const cfg = {
  host: "localhost",
  port: 5432,
} satisfies Config;

satisfies は型が一致しているか検査するが、推論されるリテラル情報はそのまま残るので、後段の cfg.host も "localhost" リテラル型として使える（公式リリースノート（新しいタブで開く））。

4. ジェネリックは型引数を明示する

function pick<T, K extends keyof T>(obj: T, key: K): T[K] { return obj[key]; }
pick<{ a: number }, "a">({ a: 1 }, "a");   // 推論失敗時はこのように明示

`as` は最後の手段

x as Y は型チェックを黙らせるだけで、ランタイムの不整合は残る。
先に上の 4 手を試して、本当に型情報の不足が確実な場合のみ使う。
基本的な型システムの考え方は公式 Handbook（新しいタブで開く）を参照。

実行例

実際に上記の手順を node:20（Debian GNU/Linux 12）環境で動かすと、TypeScript 5.9.3 のもとでリテラル型の広がりによる TS2345 が終了コード 2 で確認でき、as const による修正と変数への型注釈付与のいずれでも終了コード 0 に解消された。

== versions ==
PRETTY_NAME="Debian GNU/Linux 12 (bookworm)"
v20.20.2
Python 3.11.2
git version 2.39.5
 
                                                                               
                This is not the tsc command you are looking for                
                                                                               
 
To get access to the TypeScript compiler, tsc, from the command line either:
 
- Use npm install typescript to first add TypeScript to your project before using npx
- Use yarn to avoid accidentally running code from un-installed packages
v10.6.0
== run ==
--- TypeScript を install ---
Version 5.9.3
--- npx tsc （Argument of type string is not assignable を想定）---
src/bad.ts(4,9): error TS2345: Argument of type 'string' is not assignable to parameter of type '"light" | "dark"'.
tsc 終了コード: 2
--- 解消1: as const でリテラル型を保持 ---
tsc 終了コード: 0（0 なら解消）
--- 解消2: 変数側に型注釈を付ける ---
tsc 終了コード: 0（0 なら解消）

— 2026-07-07 時点の出力

要約