Retroactive conformance

A conformance declared in a module that owns neither the conforming type nor the adopted protocol.