implementation checks of abstract derived members