Support of generic constraints