Problems with closure type inference

If a closure has multiple statements in it, its body is not involved in determining its type. This restriction goes all the way back to Swift 1.