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