次の例では、COBCH1794 ('<型名>' には constraints に適合する汎用パラメーター型のある可視静的メソッド '<メソッド名>' がない) が戻されます。
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.