Rust's inference and checks are actively limited to function level, not crate level- function types are not inferred, generics are type-checked before instantia

Rust's inference and checks are actively limited to function level, not crate level- function types are not inferred, generics are type-checked before instantiation, the borrow checker works on individual functions, etc.