made sure that type conversions don't work