Java 8以降の型推論において、「ターゲット型(Target Type)」とは何か。

式が出現するコンテキスト(代入先の変数やメソッドの引数など)から期待される型