test type constraints