test/AutoDiff/downstream/Inputs/nondifferentiable_function_other_module.swift

// A public function that is not marked with `@differentiable`.
// Differentiation of `externalFunction` in other modules should fail.
public func externalFunction(_ x: Float) -> Float {
  return x + x
}