fn check_binop(op: BinOp) -> bool
Expand description

We do not allow all binary operations in abstract consts, so filter disallowed ones.