// RUN: %target-swift-frontend %s -emit-silgen | %FileCheck %s | |
// rdar://16238241 | |
// Make sure we can parse where clause with conformance & same-type requirements. | |
protocol Runcible { | |
associatedtype Mince | |
associatedtype Quince | |
} | |
struct Spoon<T: Runcible> {} | |
// CHECK: sil @foo : $@convention(thin) <T where T : Runcible, T == T.Mince> () -> @out Spoon<T> | |
sil @foo : $@convention(thin) <T where T: Runcible, T == T.Mince> () -> @out Spoon<T> { | |
entry(%0 : $*Spoon<T>): | |
return undef : $() | |
} |