Test for generic constraints