re-build generic instance when checked as constraint (closes #1965)