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

class C : Hashable {
	var x = 0

  var hashValue: Int {
    return x
  }
}

func == (x: C, y: C) -> Bool { return true }


class D : C {}

// Unrelated to the classes above.
class U : Hashable { 
  var hashValue: Int {
    return 0
  }
}

func == (x: U, y: U) -> Bool { return true }

var setC = Set<C>()
var setD = Set<D>()

// Test set forced downcasts
setD = setC as! Set<D>

// Test set conditional downcasts
if let setD = setC as? Set<D> { }

// Test set downcasts to unrelated types.
setC as! Set<U> // expected-error{{'U' is not a subtype of 'C'}}
// expected-note @-1 {{in cast from type 'Set<C>' to 'Set<U>'}}

// Test set conditional downcasts to unrelated types
if let setU = setC as? Set<U> { } // expected-error{{'U' is not a subtype of 'C'}}
// expected-note @-1 {{in cast from type 'Set<C>' to 'Set<U>'}}
