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