HV-877 Supporting type use constraints