type assertion in typescript