Type inference was a mistake
On type inference as an academic computer science lab leak.
You're viewing a single thread.
That’s false for closures (or unnamed/inline) functions with context because their type is unique and so you just can’t write their type and that’s not a lang’s fault - that’s logically correct side-effect by-design.