Added test for generic constraints