Strict "implements" behaviour

[romanagureev]

Version Information

• vyper Version (output of vyper --version): 0.4.0

What's your issue about?

implements keyword is strict in a sense of forbidding modifying mutability and adding new default parameters. @trocher argumented on strict version, though I need a way to show contract is compatible having implementation-specific parameters.

A.vyi

# pragma version 0.4.0

@external
def bridge(_token: address):
    ...

B.vy

# pragma version 0.4.0
import A
implements: A

@external
# @payable  # <-- Can not add
def bridge(
    _token: address,
#     _specific: uint256=0,  # <-- Can not add
):
    return

How can it be fixed?

• Relaxed version of implements like compatible: or follows:
• # noqa style comments to skip specific checks