Why aren’t function signatures inferred? Why only local slots?
• Mechanically, it simplifies the inference algorithm; inference only requires looking at one function at a time. • The same simplification goes double for human readers. A reader does not need an IDE running an inference algorithm across an entire crate to be able to guess at a function’s argument types; it’s always explicit and nearby.
