Comment made by: tsdh
Alex, I've added the regression test you suggested. Thanks for pointing that out.
Also, I added tests checking definterface method declarations, and tests checking inline method implementations made with defrecord, deftype, and reify.
However, there's a problem with the tests for deftype and reify I don't know how to fix. When I eval the macroexpand forms used in the tests in a REPL, I can see that the CompilerException is successfully thrown and printed. But it also seems to be caught somewhere in the middle, so that the macroexpand returns a form and the exception doesn't make it to the (is (thrown? ...)). Therefore, I've commented the these tests and added a big FIXME.