default implementation

Also written: default implementations

A method or property body in a protocol extension that conforming types get for free. A type may write its own version, but a call through `any` uses it only if the member is also listed in the protocol's requirements.