mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
1f008fb0d0
And update tests to use them. This commit depends on fixes in swiftlang/swift PRs #86905, #87129, and #87130. Fixes rdar://169749886.
16 lines
758 B
Swift
16 lines
758 B
Swift
// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s
|
|
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface)
|
|
// RUN: %FileCheck %s < %t.swiftinterface
|
|
|
|
import _Differentiation
|
|
|
|
public func a(f: @differentiable(reverse) (Float) -> Float) {}
|
|
// CHECK: public func a(f: @differentiable(reverse) (Swift::Float) -> Swift::Float)
|
|
|
|
// TODO: Remove once `@differentiable` becomes deprecated.
|
|
public func b(f: @differentiable(reverse) (Float) -> Float) {}
|
|
// CHECK: public func b(f: @differentiable(reverse) (Swift::Float) -> Swift::Float)
|
|
|
|
public func c(f: @differentiable(reverse) (Float, @noDerivative Float) -> Float) {}
|
|
// CHECK: public func c(f: @differentiable(reverse) (Swift::Float, @noDerivative Swift::Float) -> Swift::Float)
|