
// RUN: %target-swift-frontend -emit-sil -O %s | %FileCheck %s

public protocol P {}

public class C1<U> {
  // CHECK-LABEL: sil @$s25devirt_outer_requirements2C1C3fooyyqd__AA1PRzlF : $@convention(method) <U where U : P><V> (@in_guaranteed V, @guaranteed C1<U>) -> () {
  // CHECK: function_ref @$s25devirt_outer_requirements2C1C3baryyqd__AA1PRzlF : $@convention(method) <τ_0_0 where τ_0_0 : P><τ_1_0> (@in_guaranteed τ_1_0, @guaranteed C1<τ_0_0>) -> ()
  // CHECK: return
  public func foo<V>(_ z: V) where U : P {
    bar(z)
  }

  @_optimize(none)
  public func bar<V>(_ z: V) where U : P {}
}

public class Base<T> {
  public func foo<V>(_: V) where T : P {}
}

public protocol Q {}

public struct Foo<T> {}
extension Foo : P where T : Q {}

public class Derived<T> : Base<Foo<T>> {
  public override func foo<V>(_: V) where T : Q {}
}

@_transparent
public func takesBase<T, V>(_ b: Base<T>, _ v: V) where T : P {
  b.foo(v)
}

// CHECK-LABEL: sil {{.*}}@$s25devirt_outer_requirements12takesDerivedyyAA0E0CyxG_q_tAA1QRzr0_lF : $@convention(thin) <T, V where T : Q> (@guaranteed Derived<T>, @in_guaranteed V) -> () {
public func takesDerived<T, V>(_ d: Derived<T>, _ v: V) where T : Q {
  // CHECK: function_ref @$s25devirt_outer_requirements12takesDerivedyyAA0E0CyxG_q_tAA1QRzr0_lF : $@convention(thin) <τ_0_0, τ_0_1 where τ_0_0 : Q> (@guaranteed Derived<τ_0_0>, @in_guaranteed τ_0_1) -> ()
  takesDerived(d, v)

  // CHECK: return
}
