A fixed-arity method can override a rest-parameter one because its signature is compatible (it accepts the same call shape). At runtime the actual instance is a Sub, so its fmt receives 3 and 4 and returns 7. The static type Base only governs which calls the checker permits, not which body executes.