test/AutoDiff/downstream/Inputs/noderivative_attr_other_file.swift

@noDerivative
@_silgen_name("float_to_int_noderivative")
func floatToIntNoDerivative(_ x: Float) -> Int {
  Int(x)
}