// RUN: %target-typecheck-verify-swift | |
class Dictionary<K, V> : ExpressibleByDictionaryLiteral { // expected-error {{type 'Dictionary<K, V>' does not conform to protocol 'ExpressibleByDictionaryLiteral'}} | |
typealias Key = K | |
typealias Value = V | |
init(dictionaryLiteral xs: (K)...){} // expected-note {{candidate has non-matching type '(dictionaryLiteral: (K)...)'}} | |
} | |
func useDict<K, V>(_ d: Dictionary<K,V>) {} | |
useDict(["Hello" : 1]) | |
useDict(["Hello" : 1, "World" : 2]) | |