[bugarela]

I think they meant "model checker" instead of "type checker" in that sentence. Otherwise, of course, we need to run the type checker to get the type diagnosis.

[abathologist]

That's what I meant! Thanks for the correction :)