COBCH1793 '<型名>' には constraints に適合する汎用パラメーター型のある可視インスタンス メソッド '<メソッド名>' がない

constraints に適合する汎用パラメーター型のあるメソッドが見つかりません。コンテキストから、必要なメソッドはインスタンス メソッドになります。

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