test.ts

// The entry file of your WebAssembly module.

class OnlyHasUnchecked {
  length: i32 = 3;

  @operator("{}")
  protected __get(index: i32): i32 {
    return index;
  }
}

class OnlyHasChecked {
  length: i32 = 3;

  @operator("[]")
  protected __get(index: i32): i32 {
    assert(index >= 0);
    assert(index <= 3);
    return index;
  }
}

let a = new OnlyHasChecked();
let b = new OnlyHasUnchecked();

export function test(): void {
  if (isDefined(unchecked(a[0]))) {
    trace("this should not be seeable");
  } else {
    trace("Okay");
  }

  if (isDefined(unchecked(b[0]))) {
    trace("Okay");
  } else {
    trace("this should not be seeable");
  }
}