// RUN: %target-typecheck-verify-swift | |
// Infer bound generic types in closures | |
func dict_int_string_indexer(_ getElement: (Dictionary<Int, String>) -> String) -> String { | |
let dict = [0 : "zero", 1 : "one", 2 : "two"]; | |
return getElement(dict) | |
} | |
func test_dict_int_string_indexer() { | |
_ = dict_int_string_indexer({ (x : Dictionary) in x[1]! }) | |
} |