- raise the last fault if a mixed type check fails, to avoid confusing