Informal protocols and implicit interfaces are not the same thing. In particular, implicit interfaces are type checked statically at compile time, while inform

Informal protocols and implicit interfaces are not the same thing. In particular, implicit interfaces are type checked statically at compile time, while informal protocols are checked dynamically at runtime.