// RUN: %target-typecheck-verify-swift

class Dictionary<K, V> : ExpressibleByDictionaryLiteral { // expected-error {{type 'Dictionary<K, V>' does not conform to protocol 'ExpressibleByDictionaryLiteral'}}  expected-note {{add stubs for conformance}}
  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])