How Does Typescript Implement Type Assertions In Sv