element count >= 0 is always true

[lue-bird]

-- neg0 is 0 or less, neg is -1 or less

List.length dict >= neg0 --> True
Array.length dict >= neg0 --> True
Set.size dict >= neg0 --> True
Dict.size dict >= neg0 --> True

-- and in the same way
elementCount < neg0 --> False
elementCount == neg --> False
elementCount /= neg --> True

(found in the FSharpLint default config)

[jfmengels]

Sounds good to me 👍