contract-int32.ts:10:15 - error SC7002: the value stored into 'Span.id' (Int32) is not provably an int32: 'id'

   9 |   constructor(id: number) {
  10 |     this.id = id;
     |               ^~
  11 |   }

  hint: make the int32 conversion explicit, for example 'id | 0', so Node computes the same value

contract-int32.ts:13:5 - error SC7002: the value stored into 'Span.pos' (Int32) is not provably an int32: 'this.pos++'

  12 |   advance(): void {
  13 |     this.pos++;
     |     ^~~~~~~~~~
  14 |   }

  hint: make the int32 conversion explicit, for example 'this.pos = (this.pos + 1) | 0', so Node computes the same value

contract-int32.ts:18:10 - error SC7002: the value returned from 'width' (Int32) is not provably an int32: 'span.end - span.pos'

  17 | function width(span: Span): Int32 {
  18 |   return span.end - span.pos;
     |          ^~~~~~~~~~~~~~~~~~~
  19 | }

  hint: make the int32 conversion explicit, for example '(span.end - span.pos) | 0', so Node computes the same value

contract-int32.ts:22:10 - error SC7002: the value returned from 'half' (Int32) is not provably an int32: 'x / 2'

  21 | function half(x: Int32): Int32 {
  22 |   return x / 2;
     |          ^~~~~
  23 | }

  hint: make the int32 conversion explicit, for example '(x / 2) | 0', so Node computes the same value

contract-int32.ts:27:3 - error SC7002: the value stored into 'count' (Int32) is not provably an int32: 'count += 1'

  26 | function bump(): void {
  27 |   count += 1;
     |   ^~~~~~~~~~
  28 | }

  hint: make the int32 conversion explicit, for example 'count = (count + 1) | 0', so Node computes the same value

contract-int32.ts:31:20 - error SC7002: the value stored into 'len' (Int32) is not provably an int32: 'sizes.length'

  30 | const sizes = [1, 2, 3];
  31 | const len: Int32 = sizes.length;
     |                    ^~~~~~~~~~~~
  32 | 

  hint: make the int32 conversion explicit, for example 'sizes.length | 0', so Node computes the same value