---
cases:
  - note: bitsshiftleft/shift of max int64 doesn't overflow and is not lossy
    query: data.generated.p = x
    modules:
      - |
        package generated

        p := __local0__ if {
        	bits.lsh(9223372036854775807, 1, __local1__)
        	__local0__ = __local1__
        }
    data: {}
    want_result:
      - x: 18446744073709551614
