---
cases:
  - note: bitsshiftright/rhs must be unsigned
    query: data.generated.p = x
    modules:
      - |
        package generated

        p := __local0__ if {
        	bits.rsh(7, -1, __local1__)
        	__local0__ = __local1__
        }
    data: {}
    want_error_code: eval_type_error
    want_error: "bits.rsh: operand 2 must be an unsigned integer number but got a negative integer"
    strict_error: true
