Swift AutoDiff：我们如何使结构具有一个成员变量，该成员变量是具有多个参数的可微函数？

如何解决Swift AutoDiff：我们如何使结构具有一个成员变量，该成员变量是具有多个参数的可微函数？

我想要以下内容：

import _Differentiation

struct S {
    var f: @differentiable(reverse) (Double,Double) -> Double
}

但编译器抱怨 Error: Abort trap: 6 并且堆栈跟踪的开始是

Assertion Failed: (isa<X>(Val) && "cast<Ty>() argument of incompatible type!"),function cast,file Casting.h,line 269.

如果成员变量是一个参数的函数，程序构建：

import _Differentiation

struct S {
    var f: @differentiable(reverse) (Double) -> Double
}

但不允许使用两个或多个参数。

我们可以写一个函数，它有两个参数的可微函数作为参数：

import _Differentiation

func g(f: @differentiable(reverse) (Double,Double) -> Double) {
    // function body
}

如果函数可以有这种类型的参数，为什么结构体不能有这种类型的成员变量？