Visual Studio Codeの赤い波線の警告文を修正したいです。

Question

実現したいこと

誤作動だと思うので正しくチェックが働くように修正したいです。
どのように設定すればいいのでしょうか。

type Func =
  <T>({num}: {num: T}) => // @param
    T;                    // @returns

const
increase: Func =
 ({num}) =>
   ++num,  // ここに赤い波線が表示されます。

decrease: Func =
 ({num}) =>
   --num; // ここに赤い波線が表示されます。

console.log( increase({num: 2}) ); // 3
console.log( decrease({num: 2}) ); // 1

発生している問題・分からないこと

コードは問題なく作動しますが、なぜかエラーメッセージが表示されてしまいます。

エラーメッセージ

型 'number' を型 'T' に割り当てることはできません。
'number' に関連しない可能性のある任意の型で 'T' をインスタンス化できます。ts(2322)
list7-10_04.ts(6, 3): 予期された型は、このシグネチャの戻り値の型に基づいています。
算術オペランドは'any'型、'number'型、’bigint'型、列挙型のいずれかである必要があります

該当のソースコード

特になし

試したこと・調べたこと

• teratailやGoogle等で検索した
• ソースコードを自分なりに変更した
• 知人に聞いた
• その他

上記の詳細・結果

３と１が表示されます。

補足

特になし

Answer 1

エラーメッセージのとおりです。誤作動ではありません。

++numの結果はnumber、あるいは（元の値がbigintの場合に限り）bigintになりますので、特に制限しない汎用的なTでは正しく受けられません（それ以外の型の値を引数にすると、返り値の型が実際のものと一致しません）。

T extends number | bigintを明示するか、あるいはbigintを使うつもりがないならnumberで書きつけるかをしておきましょう。

Comments

[maisumakun]

引数に数値以外のもの（文字列、オブジェクト、関数etc.）を与えた場合、どのように動作してほしいのでしょうか。

[taka_oct092018]

maisumakun様、返信ありがとうございます。

詳細な解説ありがとうございます。
ジェネリクスに関して自分が理解不足だったことがよく分かりました。
値を指定することばかりに意識が向かい過ぎて、
受ける機能について見落としておりました。