Implementing interface does not preserve payability #414

New Issue

2022-09-03T16:16:35+09:00

zxq9 commented

2022-09-03 16:16:35 +09:00

(Migrated from gitlab.com)

Created by: radrow

Repro:

payable contract interface I =
  payable entrypoint f : () => int

contract C : I =
  entrypoint f() = 123

This shouid not compile.

*Created by: radrow* Repro: ``` payable contract interface I = payable entrypoint f : () => int contract C : I = entrypoint f() = 123 ``` This shouid not compile.

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#414