§3.2.(e) Implicit parameter mappings

If parameter mappings should be omitted the following conditions must hold:

  1. each method parameter of the role method must conform to the corresponding parameter of the base method, and
  2. the result type of the base method must conform to the result type of the role method.

Here conformance includes translation polymorphism (cf. §3.3.(d)).
Parameter correspondence without parameter mapping is determined by declaration order not by names.
Two adjustments can, however, be performed implicitly: