dictionary.swift

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

// Dictionary types.
classBase{
func f0(_ d:[String:Int]){}
func f1(_ d:[String:[Int:Int]]){}
}

classDerived:Base{
overridefunc f0(_ d:Dictionary<String,Int>){}
overridefunc f1(_ d:Dictionary<String,Dictionary<Int,Int>>){}
}

// Dictionary types in generic specializations.
structX<T>{}

func testGenericSpec(){
 _ =X<[Int:Int]>()
}

// Dictionary types for construction.
func constructDictionary(_ n:Int){
vardict=[Int : String](minimumCapacity: n)
dict[5]="hello"
}

// Parse errors
vary1:[String:Int=["hello":1] // expected-error{{expected ']' in dictionary type}}
 // expected-note @-1{{to match this opening '['}}
vary2:[String:] // expected-error{{expected dictionary value type}}


structNotHashable{}

varnh1:[NotHashable:Int] // expected-error{{'NotHashable' does not conform to protocol 'Hashable'}}

structY<T>:Hashable{
func hash(into hasher:inoutHasher){}

staticfunc==(this:Y<T>, other:Y<T>)->Bool{returntrue}
}

let _ =[Y<Int>:Int]()
let _ =[Y<Int>:Int]()
let _ =[Y<Int>:Int]()