const r1 = [1, 2, 3].myFilter((v): v is number => v < 2);
const r2 = [1, 2, 3].myFilter((v, i, a): v is never => {});
// const r2: never[]
// A function whose declared type is neither 'void' nor 'any' must return a value
const r3 = ['1', 2, '3'].myFilter((v): v is string => typeof v === 'string');
// const r3: string[]
const r4 = [{ num: 1 }, { num: 2 }, { num: 3 }].myFilter(
  function(v): v is { num: number } {
    return v.num % 2;
  }
);
// Type 'number' is not assignable to type 'boolean'.

interface Array<T> {
  myFilter<S extends T>(callback: (v: T, i: number, a: T[]) => v is S, thisArg?: any): S[];
}