f# - 静的型変数、メンバー制約、コンパイラのバグ？（「これを演算子名として解析しようとしましたが、失敗しました」）

Question

コンパイル：

let inline f< ^T when ^T : (static member (<<<) : ^T * int -> ^T) > (x : ^T) = x <<< 1

コンパイルしません：

let inline f< ^T when ^T : (static member (>>>) : ^T * int -> ^T) > (x : ^T) = x >>> 1

エラー：

1. これを演算子名として解析しようとしましたが、失敗しました
2. メンバー署名に予期しない記号'>'があります。'）'または他のトークンが必要です。
3. ^ T：（static member（>>>）：^ T * int32-> ^ T）'の場合、型パラメーターに制約がありません。

スペースを追加しても役に立ちません。この行では、同じコンパイラエラーが発生します。

let inline f< ^T when ^T : (static member ( >>> ) : ^T * int -> ^T) > (x : ^T) = x >>> 1

ドキュメントと仕様の両方を検索しましたが、役に立ちませんでした。これはバグですか？>メンバーの署名に文字を含める方法はありますか？

Answer 1

確かにバグのように見えます。見苦しいですが、回避策の 1 つは、長い形式のオペレーター名を使用することです。

let inline f< ^T when ^T : (static member op_RightShift : ^T * int -> ^T)> (x : ^T) =
    x >>> 1

Answer 2

明示的な制約が必要ですか? これも同様に機能します。

let inline f (x: ^T) : ^T = x >>> 1