Check actual type parameters against their bounds