test/AutoDiff/downstream/Inputs/differentiable_requirement_other_module.swift

public struct Empty : AdditiveArithmetic {}

public protocol DifferentiableRequirement {
  @differentiable
  func foo(float: Float, empty: Empty) -> Float
}