Test various forms of method overrides, including some not allowed by the
compiler but possible with separate compilation.