conditional_conformances_runtime.swift

// RUN: %empty-directory(%t)
// RUN: %target-build-swift %s -o %t/a.out
// RUN: %target-codesign %t/a.out
// RUN: %target-run %t/a.out
// REQUIRES: executable_test
protocolP{
func foo()->Int
}

structX:P{
func foo()->Int{return1}
}

structY<T>{
varwrapped:T
}

extensionY:Pwhere T:P{
func foo()->Int{return wrapped.foo()+10}
}

func tryAsP(_ value:Any)->Int{
iflet p = value as?P{
return p.foo()
}

return0
}

extensionDictionary:Pwhere Value ==(Key)->Bool{
func foo()->Int{return2}
}


letyx=Y(wrapped:X())
precondition(tryAsP(yx)==11)

letdict:[Int:(Int)->Bool]=[:]
precondition(tryAsP(dict)==2)

letyDict=Y(wrapped: dict)
precondition(tryAsP(yDict)==12)

// <rdar://128774651> Generic argument indexing runs off the end when a key
// argument comes after a non-key argument.
structOuter<T>{}

extensionOuterwhere T ==Int{
structInner<U>{
 // Add some stored properties that will have field offsets in the metadata.
 // If we read past the end of the generic arguments, we'll find these and
 // crash on something that's definitely not a valid pointer.
vara:T?
varb:T?
varc:T?
vard:T?
}
}

extensionOuter.Inner:Pwhere U ==String{
func foo()->Int{return1}
}

letconformingInner:Any=Outer.Inner<String>()
letnonconformingInner:Any=Outer.Inner<Int>()
precondition(conformingInner is P)
precondition(!(nonconformingInner is P))