Protocol Witness Matching Roadmap

[DevAndArtist (Adrian Meister)]

@suyashsrijan

Properties with function type

We could allow a function to match a property protocol requirement with a function type. For example:

protocol P {
  var bar: () -> Int
}

struct S: P {
  func bar() -> Int { ... }
}

or vice versa - letting a function requirement be witnessed by a property with function type:

protocol P {
  func bar() -> Int
}

struct S: P {
  var bar: () -> Int { ... }
}

I also second that this should be possible, especially after we finally resurrect and actually get 'compound names' in Swift.