Type Checking

let i: any = 32;
let j: i is int;