- Proposal: tbd
- Author(s): Erica Sadun
- Status: tbd
- Review manager: tbd
This proposal enhances protocol implementation safety. It incorporates two keywords that cooperate with compiler checks to limit "near miss" implementation errors and accidental member overrides. This is a strictly syntactic system intended to provide greater safety at compile time, and would not affect existing compiled code bases.