---
cases:
  - data: {}
    modules:
      - |
        package generated

        p = __local0__ {
          bits.lsh(7, -1, __local1__)
          __local0__ = __local1__
        }
    note: bitsshiftleft/rhs must be unsigned
    query: data.generated.p = x
    want_error:
      "bits.lsh: operand 2 must be an unsigned integer number but got a negative
      integer"
    want_error_code: eval_type_error
    strict_error: true
