Comment by Sinidir

It is literally true. You don't need to run a type checker.