svoid test_tok_selfType() {
  testTranspilationFunction2 tok_selfType(
    "class Bla<A> { selfType x() { this; } }",
    "class Bla<A> { Bla<A> x() { this; } }"
  );
}