filter 질문 있습니다.

기존 배열 함수를 사용할 때는 filter 메서드의 인자로 v is string을 넣어주지 않아도 작동되는데 선생님께서 정의하신 filter 메서드의 경우는 callback에 v is string을 넣어줘야만 작동되는지 궁금합니다.

기존의 filter

const d = [1, 2, '3', 4, '5'];
d.filter((value) => typeof value === 'string');

수업 시간에 작성한 filter

 interface Arr<T> {
   forEach(callback: (value: T, index: number) => void): void;
   // map(callback: (value: T, index: number) => any): any[];
   map<U>(callback: (value: T, index: number) => U): U[];
   filter<S extends T>(callback: (value: T, index: number) => value is S): S[];
 }
const c: Arr<string | number> = ['1', 2, '3', 4, '5'];
const d = c.filter((item): item is string => typeof item === 'string');