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