• 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.