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

        p = __local0__ {
          bits.lsh(9223372036854775807, 1, __local1__)
          __local0__ = __local1__
        }
    note: bitsshiftleft/shift of max int64 doesn't overflow and is not lossy
    query: data.generated.p = x
    want_result:
      - x: 18446744073709551614
