Yes and the TypeScript ASTs generated while checking the code can be re-used when then running ts-blank-space to generate the JavaScript. Only generating the ASTs once is a significant performance win as this work takes much longer than the type-stripping work.