A test case exposing a missing check in the JL5 implementation.