This is a bit of a problem imo. It’s super easy to forget to add a type somewhere and then it just defaults to any. I’d prefer no implicit any so you have to knowingly set something as untyped.

It’s also just flat out impossible in many other languages because the compiler actually needs to know the types for performance reasons.