타입 가드의 정의

안녕하세요 강사님:) 
타입 가드에 대해 질문이 있어 글을 남깁니다.

우선 핸드북에는 타입 가드에 대한 자료가 없어 타입스크립트 한글 공식 문서 를 봤습니다.

여기서는 타입 가드에 대한 정의가 "타입 가드는 스코프 안에서의 타입을 보장하는 런타임 검사를 수행한다는 표현식입니다." 라고 나와있고,
강의에서 예시로 들어주신 'target is Developer' 와 같은 표현식 외에도 typeof 연산자와 in 연산자도 타입 가드의 방식으로 표현되어 있더라구요.

그렇다면 타입가드 라는 것이 그냥 런타임에서 타입 에러가 나지 않게 보장해주는 방법 중 하나라고 보면 될까요?