Supertypes that were incorporated via the `@Implements` annotation are not having their abstract methods implemented.