• plistig@feddit.de
    link
    fedilink
    English
    arrow-up
    1
    ·
    1 year ago

    The opposite is true. If you have two interfaces that contain methods with the same name, then they have the same typing.Protocol. It is not possible to specify preconditions or contracts, as you would with abc.