In the following example, COBCH1792 ("'type a' has no visible method 'M2' for which generic parameter type(s) conform to constraints") is returned:
class-id a. method-id M1. invoke M2("Hello") end method. method-id M2 using T (param1 as T). constraints. constrain T is value type. end method. end class.