This pitch introduces of a new keyword in front of declarations: conformance
.
The conformance
keyword means: "this declaration is intended by the programmer to fulfill a protocol requirement". Its presence is never required. However, when present, the program is ill-formed unless the declaration does match a protocol requirement.
For example: