TrackedVector' * v is ambiguous for AbstractVectors other than Vector #310

The product of an adjoint or transposed TrackedVector with an untracked AbstractVector is ambiguous unless the right operand is one of ARRAY_TYPES (e.g. a Vector):

using ReverseDiff, StaticArrays
ReverseDiff.gradient(u -> u' * SVector(1.0, 2.0), rand(2))  # MethodError: ... is ambiguous
ReverseDiff.gradient(u -> u' * (1:2), rand(2))              # same
ReverseDiff.gradient(u -> u' * view([1.0, 2.0], :), rand(2)) # same

Candidates:

• *(x::Adjoint{<:Number, <:TrackedArray{V, D, 1}}, y::AbstractVector) where {V, D} (ReverseDiff)
• *(u::Adjoint{<:Number, <:AbstractVector}, v::AbstractVector{<:Number}) (LinearAlgebra)

transpose(u) * v works for these operands. This happens on master and with #307. It is related to #308 and #309.

🤖 Generated with Claude Code