/website/js for this project) and Deno's type checking for other TypeScript files.tsconfig.json file, it didn't do anything. If I add // @ts-check to the top of the JS files I want to check, I get incorrect error messages from deno-ts.document is and it's just fine with identifying the type of the ui variable as String when it should be Element. It recommends adding something like "lib": ["DOM"] to compilerOptions in the config, but I tried that and it's pretty clear that nothing it's not reading tsconfig.json.Cannot find name 'document'. Do you need to change your target library? Try changing the 'lib' compiler option to include 'dom'.
ts, all make sense.// @ts-check at the top of the file, there are no error messages. So, Deno's not checking it but it's preventing ts from checking it, too.