Type promotion clarification

do: Base.promote_rule(::Type{A1}, ::Type{A2}) = A1

Then

julia> promote_type(A1, A2)
A1
1 Like