svoid test_tok_shortLambdas() {
  testTranspilationFunction tok_shortLambdas(
    "bla(-> blubb)",
    "bla(() -> blubb)",
    "IF0 f = -> yo;",
    "IF0 f = () -> yo;",
    "IF1 f = a -> b;",
    "IF1 f = a -> b;",
    "IF2 f = (a, x) -> b;",
    "IF2 f = (a, x) -> b;",
    "f(a, -> x);",
    "f(a, () -> x);",
    "return -> x;",
    "return () -> x;",
    "ret a -> -> x;",
    "ret a -> () -> x;",
    "-> .x()",
    anonVar(1) + " -> " + anonVar(1) + ".x()",
  );
}