Tests that single-implementation abstract methods don't crash the runtime when
their declaring class is redefined.