он компилируется в обычный жс. в самом тс не так много вещей, которые требуют в жс каких-то хитрых и подводнокаменных компиляций. по сути оригинальный и конечный код в последнем стандарте es будет очень похож, разве-что без типов в жс и объявления классов немного по другому будет.