The function TokenTraits.HasTrait(TokenKind, TokenFlags) gives strange results for the BinaryPrecedence values of TokenFlags

For example,

[System.Management.Automation.Language.TokenTraits]::GetTraits([System.Management.Automation.Language.TokenKind]::Band)

returns BinaryPrecedenceBitwise, BinaryOperator, CanConstantFold. The documentation on TokenTraits.HasTrait says: "Return true if the TokenKind has the given trait." Therefore I would expect HasTrait to return true only for those three values of TokenFlags. However:

Steps to reproduce

 [System.Management.Automation.Language.TokenTraits]::HasTrait([System.Management.Automation.Language.TokenKind]::Band,[System.Management.Automation.Language.TokenFlags]::BinaryPrecedenceMultiply)

Expected behavior

False

Actual behavior

True

Environment data

Name                           Value
----                           -----
PSVersion                      7.0.3
PSEdition                      Core
GitCommitId                    7.0.3
OS                             Microsoft Windows 10.0.18363
Platform                       Win32NT
PSCompatibleVersions           {1.0, 2.0, 3.0, 4.0…}
PSRemotingProtocolVersion      2.3
SerializationVersion           1.1.0.1
WSManStackVersion              3.0

Discovered this while trying to work out why the PSScriptAnalyzer rule UseConsistentWhitespace seems to apply to some random set of operators and not to others. After really digging in, it appears the author of the logic for operators in this rule only intended to implement logic for assignment or arithmetic operators. However it appears that person made the same assumption I would that HasTrait ought to work on the BinaryPrecedence flags and therefore used it in attempt to detect all operators with equal precedence to Add or Multiply.