svoid test_tok_castQuestionDot() {
  testTranspilationFunction tok_castQuestionDot(
    "x = a cast B ? a.b : a.c;",
    "x = a instanceof B ? ((B) a).b : a.c;",
  );
}