[AutoDiff] Differentiation stopped to work for imported protocol methods

[asl]

Description

After #84800 we are not able to produce derivatives for functions with protocol method calls if the derivative is registered for a concrete conformance even if the type is statically known.

See #84800 for the discussion and examples

Reproduction

import _Differentiation

@differentiable(reverse)
func addition(a: SIMD8<Double>, b: SIMD8<Double>) -> SIMD8<Double> {
    a + b
}

Expected behavior

Derivative is produced

Environment

Swift version 6.3-dev (LLVM f3a4f1e56df8f4c, Swift aef0cc9)
Target: arm64-apple-macosx15.0
Build config: +assertions

Additional information

No response