Add `Base.` in front of `promote_rule`. --Tim
On Tuesday, August 25, 2015 08:23:40 PM Sisyphuss wrote: > abstract B > > type A<:B > end > > type C<:B > end > > promote_rule(::Type{A},::Type{C}) = C > > @assert promote_type(A,C) == B > > Whether I define the promotion_rule or not, the promote_type is always B.