Message in Japanese (日本語)
<var>X</var> には、型引数と互換性のあるポリモーフィックな型を持つ式引数が必要です。
Unlocalized message
<var>X</var> requires an expression argument with a polymorphic result type that is compatible with the type argument.
Search by Google