The main doubt is about what could be a method that is part of the virtual override and what isn't
a function in the derived class will "override" a base class function if it has the same name cvref qualifiers and parameter list, and if those match there are restriction on what the return type can be, because of general rules on how overloading works