// RUN: %target-swift-frontend %s -emit-ir | |
protocol Proto { } | |
class Class { | |
func foo<A>(callback: (A) -> Void) where A: Proto { | |
} | |
func foo<A, B>(callback: (A, B) -> Void) where A: Proto, B: Proto { | |
} | |
} | |
class Child: Class { | |
override func foo<A>(callback: (A) -> Void) where A : Proto { | |
} | |
} | |