restore original (slow) constraint type check