block4.ts

function isUser(a: any): a is {name: string} {
    return typeof a === 'number';
}

const num: number = 3;
if (isUser(num)) {
   console.log(num.name); //compiles fine, TS thinks that num is a {name: string} here
}