type_may_overload() and pike_type_allow_premature_toss() now take a pike_type as the first argument. Rev: src/pike_types.c:1.149 Rev: src/pike_types.h:1.51