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