typescript type narrowing

visit shbcf.ru