There are many sections in the JLS that would need a stress test; i.e. consider assignment conversion; how do we make sure that the compiler is implementing the JLS in full? A good way to do it would be to write a regression test that checks each possible pair of types available in javac, and verifies that the output is conforms w.r.t. the JLS.