Expand description
Macros for branches expected never to execute.
Active builds expand to unimplemented!(). A dormant
unreachable_unchecked() definition is excluded by #[cfg(disable)];
activating it would also require excluding the ordinary definition.