<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_bh3ins5phst0euvc5fq6hs3sao, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid test_tok_multiTypeArguments() {
  testTranspilationFunction tok_multiTypeArguments(
    [[ sS loadTextFile(File/S file) { ... } ]],
    [[
      sS loadTextFile(S file) { return loadTextFile(newFile(file)); }
      sS loadTextFile(File file) { ... }
    ]],
    [[ sS loadTextFile(File/S file, S def) { ... } ]],
    [[
      sS loadTextFile(S file, S def) { return loadTextFile(newFile(file), def); }
      sS loadTextFile(File file, S def) { ... }
    ]],
    [[ sS loadTextFile(File/S file) { ... } ]],
    [[
      sS loadTextFile(S file) { return loadTextFile(newFile(file)); }
      sS loadTextFile(File file) { ... }
    ]],
    
    [[ void bla(Graphics2D etc g, int x, int y) { yo; } ]],
    [[
      void bla(BufferedImage g, int x, int y) { bla(graphics(g), x, y); }
      void bla(Graphics2D g, int x, int y) { yo; }
    ]],
  );
}