[eddyb]

You can't compile Rust without types and inside functions, most types come from inference and coercions, so "type checking" is really "type resolution".