Protocol conformance

An explicit checked relationship stating that a type supplies every requirement of a named protocol.