So how does this work in practice? Does it strip types and yolo trying to run or will it spit out type errors?
> During the transpilation process, no type checking is performed, and types are discarded
Which makes perfect sense to start out with; as typechecking with tsc is rather slow and can easily be delegated to the consumer.