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(); }",
    "class Blume { Class x = selfType.class; Class y() { ret selfType.class; } }",
      "class Blume { Class x = Blume.class; Class y() { ret Blume.class; } }",
    "class Blume<A> { Class x = selfType.class; Class y() { ret selfType.class; } }",
      "class Blume<A> { Class x = Blume.class; Class y() { ret Blume.class; } }",
   "enum BB { a; selfType x(); }",
      "enum BB { a; BB x(); }",
   );
}