No, neither Deno nor Bun does any type-checking. They both just convert the code to JS.
To do type-checking you need to run TSC.
To do type-checking you need to run TSC.
Edit to add: I see, Deno embeds TSC as a library and tries to straighten out the mess of tsconfig. That must be a leaky abstraction, which makes me wary, but maybe it works well in practice.
https://github.com/denoland/deno/blob/75efc74931c1021fdc41c9...
https://github.com/denoland/deno/blob/75efc74931c1021fdc41c9...
Deno makes certain tradeoffs that make it feel seamless