Typechecker does not catch missing return statement, which causes generation of uncompilable code

...servletapp/src-generated/..._.java:66: missing return statement

}
^

Submitted by Eelco Visser on 20 March 2010 at 21:35