Type Assertion In Ts