This actually only builds and does not type-check similar to esbuild. The author is working on a proprietary type-checker in Rust though