HV-877 Supporting type use constraints on type arguments