次の例では、COBCH1793 ('<型名>' には constraints に適合する汎用パラメーター型のある可視インスタンス メソッド '<メソッド名>' がない) が戻されます。
class-id a. method-id M1. declare o = new type a invoke o::M2("Hello") end method. method-id M2 using T (param1 as T). constraints. constrain T is value type. end method. end class.