Avatar
https://github.com/apple/swift/blob/master/docs/TypeChecker.rst
Swift limits the scope of type inference to a single expression or statement
推論を single expression closure までに絞っているのは一応はポリシーってことかと。
swift - The Swift Programming Language