swift

0e8a67fc - [AutoDiff] Imply 'AdditiveArithmetic' generic constraints from '@differentiable(linear)' parameters or results. (#28472)

[AutoDiff] Imply 'AdditiveArithmetic' generic constraints from '@differentiable(linear)' parameters or results. (#28472) Update `GenericSignatureBuilder` to match the behavior specified in the manifesto: https://github.com/apple/swift/blob/master/docs/DifferentiableProgramming.md#implied-generic-constraints Previously, #24896 added support for implied `Differentiable` constraints from `@differentiable` parameters or results.