JDK-8200167 added additional checks to ensure receiver typechecks were in place where needed for invokespecial invocations. There was one variation missing in the test: invoking a final Object method via an interface reference. This is potentially different to a non-final Object method because the finality means the method is treated as non-virtual and so activates different call paths in the logic.

No unexpected behaviour was found but the test case is added for completeness (which is significant when we adapt this invokeinterface testing for the nestmates work (JEP 181).