3 ms·
You can't compile Rust without types and inside functions, most types come from inference and coercions, so "type checking" is really "type resolution".
by eddyb 11y ago
You can't compile Rust without types and inside functions, most types come from inference and coercions, so "type checking" is really "type resolution".