Deno does not have its own type-checker. The `deno check` command is a wrapper for `tsc`. It will use the Go version if given a flag. The code is not first-party and is not in Rust.