Solidity Function Types conversion

Language Design
2

Statement summary:

  1. if A is more restrictive than B, then B can override A
  2. if A is payable and B is non-payable, then B can override A
  3. non-payable (rejecting eth) is more restrictive than payable (accepting eth)

No contradiction here.