TypeScriptでは、引数の型によってメソッドのシグネチャを変えるオーバーロード機能があります。ただし、TypeScriptはJavaScriptにコンパイルするものである都合上、実装は1つしか作れないので、内部で値を見て分岐する必要があります。
ただ、ものによっては、型の違いがジェネリクスの違いだけになってしまうので、内部で仕分けることができない場合があります。
typescript
// lib.es5.d.tsより interface ReadonlyArray<T> { // 中略 filter<S extends T>(callbackfn: (value: T, index: number, array: readonly T[]) => value is S, thisArg?: any): S[]; filter(callbackfn: (value: T, index: number, array: readonly T[]) => unknown, thisArg?: any): T[]; // 後略 }
ご存知のArray.prototype.filterですが、このようにコールバックがvalue is Sの関数の場合については型を切り替える、というようになっています。
ただ、このようなinterfaceを宣言した上で実際にfilter(callbackfn)を定義しようとすると、'callbackfn' implicitly has an 'any' typeとなるなど、型エラーだらけになってしまいますし、Java同様ジェネリクスはコンパイル時に消えてしまうので、動的に分岐させることも叶いません。
とりあえず「内部は厳密に型を定めず、anyやasを使って型エラーを抑制する」ようにすれば書くことはできますが、このような「ジェネリクスだけ違うメソッドのオーバーロード」をやる場合には、実装時に型を無視する以外に方法はないのでしょうか。
補足情報（FW/ツールのバージョンなど）
TypeScript 3.7.5（質問時点での最新）
