fix compiler--validator mismatch on bitwise specializations