次の例では、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.