Shouldn't the type checks happen while you write the code?
I had the impression it would also include imported files.
Thanks! :)